Exploiting Auto-Adaptive µGP for Highly Effective Test Programs Generation
ICES2003: The 5th International Conference on Evolvable Systems: From Biology to Hardware, Trondheim (Norway), March 17-20, 2003, pp. 262-273
KEYWORDS:
Approximate Methods,
Evolutionary Algorithms,
Genetic Programming,
Micro-Processors,
MicroGP,
Simulation-Based Approaches
ABSTRACT
Integrated-circuit producers are shoved by competitive pressure; new devices require increasingly complex verifications to be performed at increasing pace. This paper presents a methodology to automatically induce a test program for a microprocessor that maximizes a given verification metric. The methodology is based on an auto-adaptive evolutionary algorithm and exploits a syntactical description of microprocessor assembly language and an RT-level functional model. Experimental results clearly show the effectiveness of the approach. Comparisons reveal how auto-adaptive mechanisms dramatically enhance both performances and quality of the results.
| Related files: |
|---|
| ices03.pdf | Adobe Acrobat portable document |
| ices03.pdf | Adobe Acrobat portable document [SENSIBLE DATA] |
Notez Bien:
Access to sensible data is granted to domain only. Any use without explicit permission of the CAD group is illegal under the current copyright laws.
[CSqu03] F. Corno, G. Squillero, "Exploiting Auto-Adaptive µGP for Highly Effective Test Programs Generation," ICES2003: The 5th International Conference on Evolvable Systems: From Biology to Hardware, Trondheim (Norway), March 17-20, 2003, pp. 262-273 |
