Home  Catalogue of authors Catalogue of works Full search Add papers Login

BDD Application to Mutual Exclusion Testing in High-Level Synthesis
Authors
 Syngaevski V.A.
Date of publication
 1994
Type of work
 текст доклада на конференции
Library reference
 Syngaevski V.A. BDD Application to Mutual Exclusion Testing in High-Level Synthesis. IV International Disign Automation Workshop (RW"94). June 28-29, 1994. Moscow, Russia.
To IPPM site    To InfoMES site    Feedback
Copyright © 2012-2024 IPPM RAS. All Rights Reserved.
Updated and substantially revised version of system of 2016.
Design of site: IPPM RAS