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