Transcription of ABC: An Academic Industrial-Strength Verification Tool
{{id}} {{{paragraph}}}
ABC: An Academic Industrial-Strength Verification tool Robert Brayton Alan Mishchenko EECS Department, University of California, Berkeley, CA 94720, USA {brayton, Abstract. 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 (AIGs), with a variety of innovative algorithms. A focus on the synergy of sequential synthesis and sequential Verification leads to improvements in both domains. This paper introduces ABC, motivates its development, and illustrates its use in formal Verification .}
ABC: An Academic Industrial-Strength Verification Tool Robert Brayton Alan Mishchenko EECS Department, University of California, Berkeley, CA 94720, USA {brayton, alanmi}@eecs.berkeley.edu Abstract. ABC is a public-domain system for logic synthesis and formal verification
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}
A = abc, ABC: Attachment and Biobehavioral Catch-up, California Department of Alcoholic Beverage, California Department of Alcoholic Beverage Control, Alcoholic Beverage Control, Alcoholic, Alcoholic beverage control board administrative code, Virginia Department of Alcoholic Beverage Control, Virginia Department ofAlcoholic Beverage, Department of Alcoholic Beverage Control ABC, Simulation Estimation with Auxiliary Statistics