Sciweavers

CAV   2010 International Workshop on Computer Aided Verification
Wall of Fame | Most Viewed CAV-2010 Paper
CAV
2010
Springer
286views Hardware» more  CAV 2010»
13 years 3 months ago
ABC: An Academic Industrial-Strength Verification Tool
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...
Robert K. Brayton, Alan Mishchenko
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source286
2Download preprint from source282
3Download preprint from source251
4Download preprint from source243
5Download preprint from source239
6Download preprint from source239
7Download preprint from source227
8Download preprint from source225
9Download preprint from source223
10Download preprint from source214
11Download preprint from source214
12Download preprint from source207
13Download preprint from source206
14Download preprint from source201
15Download preprint from source198
16Download preprint from source198
17Download preprint from source197
18Download preprint from source194
19Download preprint from source192
20Download preprint from source190
21Download preprint from source187
22Download preprint from source185
23Download preprint from source181
24Download preprint from source181
25Download preprint from source179
26Download preprint from source176
27Download preprint from source176
28Download preprint from source173
29Download preprint from source172
30Download preprint from source172
31Download preprint from source168
32Download preprint from source161
33Download preprint from source159
34Download preprint from source159
35Download preprint from source158
36Download preprint from source158
37Download preprint from source157
38Download preprint from source157
39Download preprint from source156
40Download preprint from source154
41Download preprint from source153
42Download preprint from source146
43Download preprint from source143
44Download preprint from source141
45Download preprint from source140