Tools for validating asynchronous digital circuits.

Aaron Ashkinazy David A. Edwards Craig Farnsworth Gary Gendel Shiv S. Sikand

Published in: ASYNC (1994)

Keyphrases

digital circuits
data flow
software tools
model based diagnosis
user friendly
data sets
database systems
data sources
decision support
constraint programming
discussion forums
circuit design
interaction analysis
evolvable hardware