Code Generation for Functional Validation of Pipelined Microprocessors |
| |
Authors: | F Corno E Sanchez M Sonza Reorda G Squillero |
| |
Affiliation: | (1) Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy |
| |
Abstract: | Functional validation of pipelined microprocessors is a challenging task, as the behavior of a pipeline is determined by a sequence of instructions and by the interaction between their operands. This paper describes an approach to automatic test-program generation based on an evolutionary algorithm. The proposed methodology is able to tackle complex pipelined designs. Human intervention is limited to the formalized listing of the instruction set, and also internal parameters of the test program generator are auto-adapted. A prototype was built and exploited to generate test programs for the DLX/pII, a pipelined microprocessor. For the purpose of these experiments, test programs were devised trying to maximize the RT-level statement coverage. However, the method can be used to generate test programs on different target metrics. Results show the feasibility and effectiveness of the method. |
| |
Keywords: | functional validation automatic test program generation evolutionary algorithms pipelined micro processors |
本文献已被 SpringerLink 等数据库收录! |