Login / Signup

Automatic Detection of Logic Bugs in Hardware Designs.

Alexander KlaiberSinclair Chau
Published in: MTV (2003)
Keyphrases
  • automatic detection
  • hardware designs
  • automatically detecting
  • source code
  • modal logic
  • automatic classification
  • model based diagnosis
  • lymph nodes
  • small bowel
  • software projects