Login / Signup

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test.

Hratch MangassarianAndreas G. VenerisSean SafarpourMarco BenedettiDuncan Exon Smith
Published in: ICCAD (2007)
Keyphrases
  • data driven
  • asynchronous circuits
  • multi valued
  • logic programming
  • model checking
  • test generation
  • bounded model checking
  • logical representation
  • learning algorithm
  • signature verification
  • relation algebra