A Compositional Minimization Approach for Large Asynchronous Design Verification.

Hao Zheng Emmanuel Rodriguez Yingying Zhang Chris J. Myers

Published in: SPIN (2012)

Keyphrases

design process
building blocks
engineering design
artificial intelligence
design decisions
database
data sets
real world
information retrieval
image processing
decision trees
objective function
knowledge based systems
formal verification