Automatic completion and refinement of verification sets for microprocessor cores

Created by W.Langdon from gp-bibliography.bib Revision:1.3973

@InProceedings{sanchez:evows05,
  author =       "Ernesto Sanchez and Matteo {Sonza Reorda} and 
                 Giovanni Squillero",
  title =        "Automatic completion and refinement of verification
                 sets for microprocessor cores",
  booktitle =    "Applications of Evolutionary Computing,
                 EvoWorkshops2005: {EvoBIO}, {EvoCOMNET}, {EvoHOT},
                 {EvoIASP}, {EvoMUSART}, {EvoSTOC}",
  year =         "2005",
  month =        "30 " # mar # "-1 " # apr,
  editor =       "Franz Rothlauf and Juergen Branke and 
                 Stefano Cagnoni and David W. Corne and Rolf Drechsler and 
                 Yaochu Jin and Penousal Machado and Elena Marchiori and 
                 Juan Romero and George D. Smith and Giovanni Squillero",
  series =       "LNCS",
  volume =       "3449",
  publisher =    "Springer Verlag",
  address =      "Lausanne, Switzerland",
  publisher_address = "Berlin",
  pages =        "205--214",
  keywords =     "genetic algorithms, genetic programming, evolutionary
                 computation",
  ISBN =         "3-540-25396-3",
  ISSN =         "0302-9743",
  DOI =          "doi:10.1007/b106856",
  abstract =     "In the design cycle of a microprocessor core, the unit
                 is usually refined through a series of subsequent
                 steps. To deliver a flaw free unit at the end of the
                 process, in each stage a verification step is required.
                 While it would be useful to automatically develop the
                 set of test programs for verification concurrently to
                 the design, in most of the existing approach
                 verification is performed manually and starting from
                 scratch. This paper presented a methodology for the
                 automatic completion and refinement of existing
                 verification programs. It shows a new technique for
                 allowing a Genetic Programming-based framework to
                 import an existing test-program set and assimilate it
                 for further test generation. A case study is
                 considered, in which a sample pipelined processor is
                 used, and new test programs are generated starting from
                 existing functional ones. Different metrics are
                 targeted, and preliminary results are reported, showing
                 the effectiveness of the method with respect to a pure
                 random approach.",
  notes =        "EvoWorkshops2005",
}

Genetic Programming entries for Ernesto Sanchez Matteo Sonza Reorda Giovanni Squillero

Citations