Evolutionary test program induction for microprocessor design verification

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

  author =       "Fulvio Corno and Gianluca Cumani and 
                 Matteo {Sonza Reorda} and Giovanni Squillero",
  title =        "Evolutionary test program induction for microprocessor
                 design verification",
  booktitle =    "Proceedings of the 11th Asian Test Symposium (ATS
  year =         "2002",
  pages =        "368--373",
  month =        "18-20 " # nov,
  publisher =    "IEEE Press",
  keywords =     "genetic algorithms, genetic programming",
  ISSN =         "1081-7735",
  URL =          "http://www.cad.polito.it/pap/db/ats02.pdf",
  URL =          "http://citeseer.ist.psu.edu/574157.html",
  DOI =          "doi:10.1109/ATS.2002.1181739",
  size =         "6 pages",
  abstract =     "Design verification is a crucial step in the design of
                 any electronic device. Particularly when microprocessor
                 cores are considered, devising appropriate test cases
                 may be a difficult task. This paper presents a
                 methodology able to automatically induce a test program
                 for maximising a given verification metric. The
                 methodology is based on an evolutionary paradigm and
                 exploits a syntactical description of microprocessor
                 assembly language and an RT-level functional model.
                 Experimental results show the effectiveness of the
  notes =        "Posted online: 2003-02-28 18:15:31.0

                 Cited by \cite{squillero:2005:GPEM}",

Genetic Programming entries for Fulvio Corno Gianluca Cumani Matteo Sonza Reorda Giovanni Squillero