ABC (logic synthesis tool)

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf logic synthesis tool
gptkbp:application formal verification
model checking
logic synthesis
combinational synthesis
sequential synthesis
technology mapping
gptkbp:developer Berkeley Logic Synthesis and Verification Group
gptkbp:firstReleased 2005
https://www.w3.org/2000/01/rdf-schema#label ABC (logic synthesis tool)
gptkbp:latestReleaseVersion 2023
1.01
gptkbp:license gptkb:MIT_License
gptkbp:openSource true
gptkbp:operatingSystem Cross-platform
gptkbp:programmingLanguage C
gptkbp:usedFor digital circuit design
gptkbp:website https://people.eecs.berkeley.edu/~alanmi/abc/
gptkbp:bfsParent gptkb:Mvsis
gptkbp:bfsLayer 7