A Case Study for the Verification of Complex Timed Circuits: IPCMOS.

Marco A. Peña Jordi Cortadella Alexander B. Smirnov Enric Pastor

Published in: DATE (2002)

Keyphrases

computer vision
image processing
asynchronous circuits
database
machine learning
case study
learning algorithm
high level
high speed
data mining
multi agent
petri net
computationally expensive
test bed
complex environments
formal methods