FMCAD'98: BDD Study Statistics
Statistic: Cache Lookups (x1000)
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
21788 |
|
21787 |
|
21788 |
|
21787 |
|
|
| motors-stuck |
Error |
13438 |
|
13438 |
|
13438 |
|
13438 |
|
|
| dartes |
Error |
4151 |
|
4151 |
|
4151 |
|
4151 |
|
|
| key10 |
Error |
48188 |
|
48190 |
|
48188 |
|
48190 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| ftp3 |
Error |
81249 |
|
81245 |
|
81249 |
|
81245 |
|
|
| abp11 |
Error |
80283 |
|
80282 |
|
80283 |
|
80282 |
|
|
| dme2-16 |
Error |
55348 |
|
55346 |
|
55348 |
|
55346 |
|
|
| dpd75 |
Error |
26961 |
|
26961 |
|
26961 |
|
26961 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
22885 |
|
22886 |
|
22885 |
|
22886 |
|
|
| furnace17 |
Error |
23129 |
|
23131 |
|
23129 |
|
23131 |
|
|
| over12 |
Error |
45176 |
|
45167 |
|
45176 |
|
45167 |
|
|
| phone-async |
Error |
307623 |
|
306502 |
|
307623 |
|
306502 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
756159 |
|
756230 |
|
756157 |
|
756233 |
|
|
| tomasulo |
Error |
836841 |
|
836651 |
|
836844 |
|
836649 |
|
|
| futurebus |
Error |
4711051 |
|
5551507 |
|
4711051 |
|
5551507 |
|
|
| phone-sync-CW |
Error |
3695663 |
|
3698489 |
|
3695453 |
|
3698307 |
|
|
| 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