CRPG: a configurable random test-program generator for microprocessors

In this paper, we present CRPG, a configurable test-program generator designed for microprocessors. CRPG provides a specification model, which can specify a request that covers the full spectrum between highly directed tests and completely random ones, a test generation engine based on heuristic algorithms, a reference instruction set simulator, and a validation environment, which supports simulation with generated test programs automatically and checks the equivalence of processors and their reference model. CRPG is currently in preliminary use at ICT for the verification of GODSONII - a general RISC microprocessor with more than 2 million logic gates. Experiments show that CRPG can improve the verification process and cut down on skilled manpower requirements considerably.

[1]  Avi Ziv,et al.  Coverage directed test generation for functional verification using Bayesian networks , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[2]  Yehuda Naveh,et al.  X-Gen: a random test-case generator for systems and SoCs , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

[3]  John P. Hayes,et al.  High-level test generation for design verification of pipelined microprocessors , 1999, DAC '99.

[4]  Matthew Taylor,et al.  An effective and flexible approach to functional verification of processor families , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

[5]  Mike Bartley,et al.  A comparison of three verification techniques: directed testing, pseudo-random testing and property checking , 2002, DAC '02.

[6]  S. Ur,et al.  Micro architecture coverage directed generation of test programs , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).