Login / Signup
Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?
Narayanan Krishnamurthy
Jayanta Bhadra
Magdy S. Abadir
Jacob A. Abraham
Published in:
VTS (2002)
Keyphrases
</>
state space
data mining
artificial intelligence
bayesian networks
domain specific
multi agent
multi agent systems
special case
design principles
finite state machines