Proceedings of the 22nd EUROMICRO Conference On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification Prague, Czech Republic September 02-September 05 ISBN: 0-8186-7487-3
Abstract: Up to now, strategies for behavioral fault modeling and testing are based on an adaptation of the gate-level strategies to generate test data at the behavioral level. In other words, they explore the impact of low-level faults on the behavioral fault modeling and detection. In this paper, we explore the dual approach, i.e. the impact of high-level fault detection on gate-level fault detection. Due to the great development of both design automation tools and hardware description languages such as VHDL or VERILOG which allow to specify a hardware system as a software program, behavioral faults are considered as software faults and the mutation-based testing, originally proposed to test software programs, is adapted to generate test data for VHDL descriptions. The generated test set is used to validate the VHDL description, seen as a software program, against (software) design faults as well as its hardware implementation against hardware faults. To validate the approach, the gate-level fault coverage of the generated test set is computed and compared to traditional ATPG's result.
Index Terms:
hardware description languages; hardware test data; behavioral specification; behavioral fault modeling; gate-level strategies; high-level fault detection; gate-level fault detection; design automation tools; hardware description languages; generated test set; gate-level fault coverage
Citation:
G. Al Hayek, C. Robach, "On the Adequacy of Deriving Hardware Test Data from the Behavioral Specification," euromicro, pp.0337, Proceedings of the 22nd EUROMICRO Conference, 1996 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||