Title :
CRPG: a configurable random test-program generator for microprocessors
Author :
Shen, Haihua ; Ma, Lin ; Zhang, Heng
Author_Institution :
Inst. of Comput. Technol., Acad. Sinica, Beijing, China
Abstract :
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.
Keywords :
automatic test pattern generation; formal verification; instruction sets; logic simulation; logic testing; microprocessor chips; reduced instruction set computing; CRPG; RISC microprocessors; automatic test program generation; configurable random test-program generator; configurable specification model; directed tests; heuristic algorithms; processor equivalence checking; processor reference model checking; reference instruction set simulator; test generation engine; validation environment; Automatic testing; Circuit simulation; Circuit testing; Computers; Engines; Formal specifications; Heuristic algorithms; Logic gates; Microprocessors; Reduced instruction set computing;
Conference_Titel :
Circuits and Systems, 2005. ISCAS 2005. IEEE International Symposium on
Print_ISBN :
0-7803-8834-8
DOI :
10.1109/ISCAS.2005.1465550
