Login / Signup

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces.

In-Ho MoonPer BjesseCarl Pixley
Published in: HLDVT (2006)
Keyphrases
  • practical issues
  • image processing
  • real time
  • social networks
  • consistency checking
  • artificial intelligence
  • bayesian networks
  • mobile robot
  • generation process
  • parallel programming