Login / Signup

Symptomatic Bug Localization for Functional Debug of Hardware Designs.

Debjit PalShobha Vasudevan
Published in: VLSI Design (2016)
Keyphrases
  • hardware designs
  • bug localization
  • model based diagnosis
  • source code
  • constraint satisfaction