FMCAD'98: BDD Study Statistics
Statistic: Per Op Cost (usec)

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
valves-gates Error
1
  
1
  
3
  
3
  
motors-stuck Error
2
  
2
  
4
  
4
  
dartes Error
2
  
2
  
5
  
5
  
key10 Error
1
  
1
  
3
  
3
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
ftp3 Error
2
  
2
  
3
  
3
  
abp11 Error
2
  
2
  
3
  
3
  
dme2-16 Error
2
  
2
  
3
  
3
  
dpd75 Error
2
  
2
  
4
  
4
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
mmgt20 Error
2
  
2
  
3
  
3
  
furnace17 Error
2
  
2
  
4
  
4
  
over12 Error
2
  
2
  
4
  
4
  
phone-async Error
3
  
2
  
4
  
3
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
tcas Error
2
  
2
  
4
  
4
  
tomasulo Error
2
  
3
  
4
  
4
  
futurebus Error
6
  
1
  
2
  
2
  
phone-sync-CW Error
5
  
2
  
3
  
3
  

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