摘要
The debugging is the design gap bottleneck of today’s complex HDL (Hardware Description Language) design. Base on the design and simulation dumping, this paper proposes an automatic bug diagnosis method. By analyzing the difference between the output signals wave forms of HDL design and the design 10 timing specification, each HDL statement is given a weight indicating the degree of probability of a bug. The experiments show that our approach can identify a bug with 89% accuracy.
| 原文 | English |
|---|---|
| 頁（從 - 到） | 413-425 |
| 頁數 | 13 |
| 期刊 | Journal of Discrete Mathematical Sciences and Cryptography |
| 卷 | 8 |
| 發行號 | 3 |
| DOIs | |
| 出版狀態 | Published - 1 1月 2005 |