The Community for Technology Leaders
Green Image
ABSTRACT
The effectiveness of microarchitecture test program generation (MTPG) within the buffer-oriented microarchitecture validation (BMV) methodology is presented. A list of design errors typically encountered in industry is investigated to determine if our microarchitecture test programs can detect them. Two metrics are used to determine design error coverage: Functional deviation ( f ) is the discrepancy in coverage of our microarchitecture model when simulating the incorrect and error-free designs. Timing deviation ( t) is the discrepancy in the number of cycles needed to simulate a test program between the incorrect and error-free designs. Simulation results show that our test programs detect over 98% of the design errors based on the two detection metrics used.
INDEX TERMS
CITATION

N. Utamaphethai, R. S. Blanton and J. P. Shen, "Effectiveness of Microarchitecture Test Program Generation," in IEEE Design & Test of Computers, vol. 17, no. , pp. 38-49, 2000.
doi:10.1109/54.895005
83 ms
(Ver 3.3 (11022016))