Error correction based on verification techniques

會議論文集

Shi-Yu Huang, Kuang-Chien Chen 和 Kwang-Ting Cheng

Proceedings of the 33rd annual Design Automation Conference, (ISSUE 33), 頁碼.258-261

ACM Conferences

DAC96: The 33rd Design Automation Conference

1996

摘要

Hardware -- Hardware validation -- Functional verification

Software and its engineering -- Software creation and management -- Software development techniques -- Error handling and recovery

1 檢視次數

題名: Error correction based on verification techniques
研究創作者-僅顯示姓名: Shi-Yu Huang
Kuang-Chien Chen
Kwang-Ting Cheng
叢書: ACM Conferences
會議: DAC96: The 33rd Design Automation Conference
出版者: ACM
總頁數: 4
學術資源類型: 會議論文集
出版日期: 1996
出版資訊: Proceedings of the 33rd annual Design Automation Conference, (ISSUE 33), 頁碼.258-261
語言: 英語