FMCAD'98: BDD Study Statistics
Statistic: # of Ops (x1000)
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
46055 |
|
46054 |
|
46055 |
|
46054 |
|
|
| motors-stuck |
Error |
30389 |
|
30389 |
|
30389 |
|
30389 |
|
|
| dartes |
Error |
7342 |
|
7342 |
|
7342 |
|
7342 |
|
|
| key10 |
Error |
96279 |
|
96283 |
|
96279 |
|
96283 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| ftp3 |
Error |
151187 |
|
151180 |
|
151187 |
|
151180 |
|
|
| abp11 |
Error |
119890 |
|
119892 |
|
119890 |
|
119892 |
|
|
| dme2-16 |
Error |
109786 |
|
109781 |
|
109786 |
|
109781 |
|
|
| dpd75 |
Error |
45465 |
|
45464 |
|
45465 |
|
45464 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
37803 |
|
37805 |
|
37803 |
|
37805 |
|
|
| furnace17 |
Error |
31432 |
|
31433 |
|
31432 |
|
31433 |
|
|
| over12 |
Error |
74056 |
|
74042 |
|
74056 |
|
74042 |
|
|
| phone-async |
Error |
504792 |
|
502963 |
|
504792 |
|
502963 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
1323675 |
|
1323793 |
|
1323673 |
|
1323798 |
|
|
| tomasulo |
Error |
1526946 |
|
1526626 |
|
1526953 |
|
1526624 |
|
|
| futurebus |
Error |
1872257 |
|
12325890 |
|
10462191 |
|
12325890 |
|
|
| phone-sync-CW |
Error |
2123925 |
|
6423587 |
|
6418442 |
|
6423229 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c2670 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c3540 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c6288-13 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c6288-14 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c6288-15 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
Back To Index Page