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 transformations based on And-Inverter Graphs (A...
详细信息
ISBN:
(纸本)9783642142949
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 transformations based on And-Inverter Graphs (AlGs), with a variety of innovative algorithms. A focus on the synergy of sequential synthesis and sequentialverification leads to improvements in both domains. This paper introduces ABC, motivates its development, and illustrates its use in formal verification.
暂无评论