DocumentCode :
1747764
Title :
A genetic approach to automatic bias generation for biased random instruction generation
Author :
Bose, Mrinal ; Shin, Jongshin ; Rudnick, Elizabeth M. ; Dukes, Todd ; Abadir, Magdy
Author_Institution :
Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
Volume :
1
fYear :
2001
fDate :
2001
Firstpage :
442
Abstract :
Biased random instruction generators are commonly used in architectural verification of microprocessors, with biases specified manually by designers. As the complexity of processors grows, so does the complexity of specifying biases. Automatic bias generation speeds up the verification flow and may lead to better coverage of potential design errors. In this work, we present a genetic algorithm based framework to automatically generate biases. We target utilization of specific buffers for a new version of the PowerPC architecture. Our results show that the GA is effective in achieving high buffer utilization. Also, in targeting multiple objectives, the best approach to use depends on whether the objectives are related
Keywords :
computer architecture; formal verification; genetic algorithms; logic CAD; microprocessor chips; PowerPC architecture; automatic bias generation; biased random instruction generation; buffer utilization; design errors; genetic algorithm; microprocessor architecture verification; Computer aided instruction; Contracts; Costs; Formal verification; Genetic algorithms; Logic design; Logic gates; Microprocessors; Moore´s Law; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Evolutionary Computation, 2001. Proceedings of the 2001 Congress on
Conference_Location :
Seoul
Print_ISBN :
0-7803-6657-3
Type :
conf
DOI :
10.1109/CEC.2001.934425
Filename :
934425
Link To Document :
بازگشت