Static variable ordering in ZBDDs for path delay fault coverage calculation
Yazarlar (3)
Doç. Dr. Fatih KOÇAN Beykoz Üniversitesi, Türkiye
Mehmet H. Güneş
Southern Methodist University, Amerika Birleşik Devletleri
Southern Methodist University, Amerika Birleşik Devletleri
Mitchell A Thornton
Southern Methodist University, Amerika Birleşik Devletleri
Southern Methodist University, Amerika Birleşik Devletleri
| Bildiri Türü | Tebliğ/Bildiri | Bildiri Dili | İngilizce |
| Bildiri Alt Türü | Tam Metin Olarak Yayınlanan Tebliğ (Uluslararası Kongre/Sempozyum) | ||
| Bildiri Niteliği | Alanında Hakemli Uluslararası Kongre/Sempozyum | ||
| Kongre Adı | Circuits and Systems, 2004. MWSCAS '04. The 2004 47th Midwest Symposium on (Volume:1 ) | ||
| Kongre Tarihi | 01-06-2004 / | ||
| Basıldığı Ülke | Japonya | Basıldığı Şehir | |
| UAK Araştırma Alanları |
Mühendislik
|
||
| Özet |
| Zero-suppressed binary decision diagrams (ZBDDs) are data structures that represent sets efficiently and they have recently been suggested for use in nonenumerative path delay fault (PDF) coverage calculations. Many heuristics have been proposed to order variables (representing primary inputs) in ZBDDs to avoid size explosion; however, in ZBDD-based PDF coverage calculations, the variables represent the nets in a circuit, not the circuit primary inputs. This fact motivates us to investigate new ordering strategies since the number of nets in a circuit is relatively large as compared to the number of primary inputs. Several new static ordering heuristics are proposed based on structural properties of the circuit undergoing PDF coverage calculations and are evaluated. The experimental results show that the new heuristics we propose greatly reduce the size of the ZBDDs. |
| Anahtar Kelimeler |
