Login / Signup
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .
Jason Baumgartner
Hari Mony
Viresh Paruthi
Robert Kanzelman
Geert Janssen
Published in:
ICCD (2006)
Keyphrases
</>
artificial intelligence
design methodology
real time
neural network
similarity measure
data structure
building blocks
data exchange
design decisions
design tools