Login / Signup

SAT-Based Equivalence Checking Based on Circuit Partitioning and Special Approaches for Conflict Clause Reuse.

Fabrício Vivas AndradeMárcia C. M. OliveiraAntônio Otávio FernandesClaudionor José Nunes Coelho Jr.
Published in: DDECS (2007)
Keyphrases
  • high speed
  • neural network
  • circuit design