Computer architecture (2nd ed.): a quantitative approach
Computer architecture (2nd ed.): a quantitative approach
The DLX Instruction Set Architecture Handbook
The DLX Instruction Set Architecture Handbook
Coverage Metrics for Functional Validation of Hardware Designs
IEEE Design & Test
ITC '98 Proceedings of the 1998 IEEE International Test Conference
Superscalar Processor Validation at the Microarchitecture Level
VLSID '99 Proceedings of the 12th International Conference on VLSI Design - 'VLSI for the Information Appliance'
Mastering Regular Expressions
Automatic Test Program Generation: A Case Study
IEEE Design & Test
Code Generation for Functional Validation of Pipelined Microprocessors
Journal of Electronic Testing: Theory and Applications
MicroGP—An Evolutionary Assembly Program Generator
Genetic Programming and Evolvable Machines
Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis
Proceedings of the 20th annual conference on Integrated circuits and systems design
Automatic detection of software defects: an industrial experience
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
Most Systems-on-a-Chips include a custom microprocessor core, and time and resource constraints make the design of such devices a challenging task. This paper presents a simulation-based methodology for the automatic completion and refinement of verification test sets. The approach extends the µGP, an evolutionary test program generator, with the possibility to enhance existing test sets. Already devised test programs are not merely included in the new set, but assimilated and used as a starting point for a new test-program cultivation task. Reusing existing material cuts down the time required to generate a verification test set during the microprocessor design. Experimental results are reported on a small pipelined microprocessor, and show the effectiveness of the approach. Additionally, the use of the proposed methodology enabled to experimentally analyze the relationship of the different code coverage metrics used in the test program generation.