ATPG-based framework for verifying sequential equivalence

會議論文集

ATPG-based framework for verifying sequential equivalence

Shi Yu Huang, Kwang Ting Cheng, Kuang Chien Chen 和 Uwe Glaeser

Proceedings - International Test Conference, 頁碼.865-874

1996

DOI: https://doi.org/10.1109/TEST.1996.557148

Web of Science ID: WOS:A1996BG68G00103

相關連結

指標

1 檢視次數

4 被引用次數 - Web of Science

See more details

詳細資料

題名: ATPG-based framework for verifying sequential equivalence
研究創作者-僅顯示姓名: Shi Yu Huang
Kwang Ting Cheng
Kuang Chien Chen
Uwe Glaeser
IEEE COMP SOC
總頁數: 10
學術資源類型: 會議論文集
出版日期: 1996
出版資訊: Proceedings - International Test Conference, 頁碼.865-874
語言: 英語