Automatic test program generation for pipelined processors
Proceedings of the 2003 ACM symposium on Applied computing
Code Generation for Functional Validation of Pipelined Microprocessors
Journal of Electronic Testing: Theory and Applications
Fully Automatic Test Program Generation for Microprocessor Cores
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
MicroGP—An Evolutionary Assembly Program Generator
Genetic Programming and Evolvable Machines
Automatic verification of external interrupt behaviors for microprocessor design
Proceedings of the 44th annual Design Automation Conference
Towards Automating Simulation-Based Design Verification Using ILP
Inductive Logic Programming
Evolving heuristically difficult instances of combinatorial problems
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
An enhanced framework for microprocessor test-program generation
EuroGP'03 Proceedings of the 6th European conference on Genetic programming
Exploiting auto-adaptive µGP for highly effective test programs generation
ICES'03 Proceedings of the 5th international conference on Evolvable systems: from biology to hardware
| Hi-index | 0.00 |
Design verification is a crucial step in the design ofany electronic device. Particularly when microprocessorcores are considered, devising appropriate testcases may be a difficult task. This paper presents amethodology able to automatically induce a test programfor maximizing a given verification metric. Themethodology is based on an evolutionary paradigm andexploits a syntactical description of microprocessorassembly language and an RT-level functional model.Experimental results show the effectiveness of the approach.