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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work has been partially supported by Intel Corporation through the grant “GP Based Test Program Generation”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Kumar, “Prototyping the M68060 for concurrent verification”, IEEE Design & Test of Computers, 1997, pp. 34–41
A. K. Chandra et al., “AVPGEN—a test generator for architecture verification”, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 3, 1995, pp. 188–200
A. Aharon et al. “Verification of the IBM RISC System/6000 by dynamic biased pseudorandom test program generator”, IBM Systems Journal, 1991, pp. 527–538
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Efficient Machine-Code Test-Program Induction”, Congress on Evolutionary Computation, 2002, pp. 1486–1491
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Evolutionary Test Program Induction for Microprocessor Design Verification”, to appear in: ATS02: The 11th Asian Test Symposium, Guam (USA)
J. R. Koza, “Genetic programming”, Encyclopedia of Computer Science and Technology, vol. 39, Marcel-Dekker, 1998, pp. 29–43
R. M. Friedberg, “A Learning Machine: Part I”, IBM Journal of Research and Development, 1958, vol. 2, n. 1, pp 2–13
A. Fukunaga, A. Stechert, D. Mutz, “A genome compiler for high performance genetic programming”, Genetic Programming 1998: Proceedings of the 3rd Annual Conference, 1998, pp. 86–94
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corno, F., Cumani, F., Squillero, G. (2003). Exploiting Auto-adaptive μGP for Highly Effective Test Programs Generation. In: Tyrrell, A.M., Haddow, P.C., Torresen, J. (eds) Evolvable Systems: From Biology to Hardware. ICES 2003. Lecture Notes in Computer Science, vol 2606. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36553-2_24
Download citation
DOI: https://doi.org/10.1007/3-540-36553-2_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00730-2
Online ISBN: 978-3-540-36553-2
eBook Packages: Springer Book Archive