Login / Signup

Improving SAT-based Combinational Equivalence Checking through circuit preprocessing.

Fabrício Vivas AndradeLeandro Maia SilvaAntônio Otávio Fernandes
Published in: ICCD (2008)
Keyphrases
  • preprocessing
  • high speed
  • post processing
  • feature extraction
  • preprocessing step
  • logic circuits
  • asynchronous circuits
  • delay insensitive
  • real time
  • sat solvers
  • answer set programming