×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abca system]
ABC: An Academic “Industrial-Strength” Verification Tool (based on a tutorial given at CAV’10)
36 views
ABC: A System for Sequential Synthesis and Verification Berkeley Logic Synthesis and Verification Group Robert Brayton Alan Mishchenko
360 views