An efficient approach for error diagnosis in HDL design

The growing of the modern design complexity leads the design error diagnosis to be a challenge for designers. In this paper, we propose an efficient approach for design error diagnosis automatically for designs in HDL. This approach can handle multiple errors occurring in a HDL design simultaneously with only one test case by analyzing the simulation outputs of the incorrect implementation. Furthermore, this approach reduces the error space by eliminating those statements that have no or lower possibility to become the error sources with retaining at least one error source in it. Hence, the effort spent on the debugging process can be greatly reduced.

[1]  Yves Le Traon,et al.  Towards an automatic diagnosis for high-level design validation , 1998, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270).

[2]  Sy-Yen Kuo,et al.  Locating logic design errors via test generation and don't-care propagation , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.

[3]  Aarti Gupta,et al.  Fast error diagnosis for combinational verification , 2000, VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design.

[4]  Masahiro Fujita,et al.  Methods for automatic design error correction in sequential circuits , 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

[5]  Masahiro Fujita,et al.  Hierarchical error diagnosis targeting RTL circuits , 2000, VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design.

[6]  Ibrahim N. Hajj,et al.  Logic design error diagnosis and correction , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[7]  Shi-Yu Huang,et al.  Fault-simulation based design error diagnosis for sequential circuits , 1998, DAC.

[8]  Chien-Nan Jimmy Liu,et al.  Effective error diagnosis for RTL designs in HDLs , 2002, Proceedings of the 11th Asian Test Symposium, 2002. (ATS '02)..