Evolutionary Test Program Induction for Microprocessor Design Verification
ATS2002: IEEE Asian Test Symposium, Guam (USA), November 2002, pp. 368-373
KEYWORDS: ATPG,
Approximate Methods,
Evolutionary Algorithms,
Genetic Programming,
MicroGP,
Microprocessors,
Rt-Level,
Simulation-Based Approaches,
VHDL
ABSTRACT
Design verification is a crucial step in the design of any electronic device. Particularly when microprocessor cores are considered, devising appropriate test cases may be a difficult task. This paper presents a methodology able to automatically induce a test program for maximizing a given verification metric. The methodology is based on an evolutionary paradigm and exploits a syntactical description of microprocessor assembly language and an RT-level functional model. Experimental results show the effectiveness
| Related files: | |
|---|---|
| ats02.pdf | Adobe Acrobat portable document |
Copyright note for papers published by the IEEE Computer Society:
Copyright IEEE. Personal use of this material is permitted. However,
permission to reprint/republish this material for advertising or
promotional purposes or for creating new collective works for resale
or redistribution to servers or lists, or to reuse any copyrighted
component of this work in other works, must be obtained from the IEEE.
| Related URLs: | |
|---|---|
| http://www.cad.polito.it/research/Evolutionary_Computation/MicroGP.html | |
[CCSS02] F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, "Evolutionary Test Program Induction for Microprocessor Design Verification," ATS2002: IEEE Asian Test Symposium, Guam (USA), November 2002, pp. 368-373