FMCAD'98: BDD Study Statistics
Statistic: Cache Hit Rate
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
valves-gates |
Error |
13.9 |
  |
13.9 |
  |
13.9 |
  |
13.9 |
  |
|
motors-stuck |
Error |
8.7 |
  |
8.7 |
  |
8.7 |
  |
8.7 |
  |
|
dartes |
Error |
24.7 |
  |
24.7 |
  |
24.7 |
  |
24.7 |
  |
|
key10 |
Error |
18.5 |
  |
18.5 |
  |
18.5 |
  |
18.5 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
ftp3 |
Error |
21.2 |
  |
21.2 |
  |
21.2 |
  |
21.2 |
  |
|
abp11 |
Error |
30.1 |
  |
30.1 |
  |
30.1 |
  |
30.1 |
  |
|
dme2-16 |
Error |
16.3 |
  |
16.3 |
  |
16.3 |
  |
16.3 |
  |
|
dpd75 |
Error |
25.7 |
  |
25.7 |
  |
25.7 |
  |
25.7 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
mmgt20 |
Error |
27.9 |
  |
27.9 |
  |
27.9 |
  |
27.9 |
  |
|
furnace17 |
Error |
36.6 |
  |
36.6 |
  |
36.6 |
  |
36.6 |
  |
|
over12 |
Error |
25.4 |
  |
25.4 |
  |
25.4 |
  |
25.4 |
  |
|
phone-async |
Error |
28.6 |
  |
28.6 |
  |
28.6 |
  |
28.6 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
tcas |
Error |
21.6 |
  |
21.6 |
  |
21.6 |
  |
21.6 |
  |
|
tomasulo |
Error |
17.4 |
  |
17.4 |
  |
17.4 |
  |
17.4 |
  |
|
futurebus |
Error |
17.9 |
  |
17.9 |
  |
17.9 |
  |
17.9 |
  |
|
phone-sync-CW |
Error |
28.7 |
  |
28.7 |
  |
28.7 |
  |
28.7 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
c2670 |
Error |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
|
c3540 |
Error |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
|
c6288-13 |
Error |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
|
c6288-14 |
Error |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
c6288-15 |
Error |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
-2.0 |
Missing |
|
Back To Index Page