• 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