2 search results - page 1 / 1 » ABC: An Academic Industrial-Strength Verification Tool |
CAV
2010
Springer
13 years 4 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
FPGA
2009
ACM
13 years 11 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...