Login / Signup

Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?

Narayanan KrishnamurthyJayanta BhadraMagdy S. AbadirJacob 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