Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification
2011 12th International Workshop on Microprocessor Test and Verification (2011)
Austin, Texas USA
Dec. 5, 2011 to Dec. 7, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MTV.2011.19
The 40 years since the appearance of the Intel 4004 deeply changed how microprocessors are designed. Today, essential steps in the validation process are performed relying on physical dices, analyzing the actual behavior under appropriate stimuli. This paper presents a methodology that can be used to devise assembly programs suitable for a range of on-silicon activities, like speed debug, timing verification or speed binning. The methodology is fully automatic. It exploits the feedback from the microprocessor under examination and does not rely on information about its microarchitecture, nor does it require design-for-debug features. The experimental evaluation performed on a Intel Pentium Core i7-950 demonstrates the feasibility of the approach.
Microprocessor, Speed debug, On-silicon verification, Software-based functional failing test, Evolutionary algorithm
E. Sanchez, G. Squillero and A. Tonda, "Automatic Generation of Software-based Functional Failing Test for Speed Debug and On-silicon Timing Verification," 12th International Workshop on Microprocessor Test and Verification. Common Challenges and Solutions (MTV 2011)(MTV), Austin, TX, 2011, pp. 51-55.