Automatic Test Program Generation for Pipelined Processors

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

@InProceedings{oai:CiteSeerPSU:573140,
  title =        "Automatic Test Program Generation for Pipelined
                 Processors",
  author =       "F. Corno and G. Cumani and M. {Sonza Reorda} and 
                 G. Squillero",
  publisher =    "ACM",
  year =         "2003",
  bibsource =    "DBLP, http://dblp.uni-trier.de",
  booktitle =    "Proceedings of the 2003 ACM Symposium on Applied
                 Computing (SAC)",
  address =      "Melbourne, FL, USA",
  month =        "9-12 " # mar,
  keywords =     "genetic algorithms, genetic programming",
  citeseer-isreferencedby = "oai:CiteSeerPSU:219188;
                 oai:CiteSeerPSU:183962; oai:CiteSeerPSU:139723;
                 oai:CiteSeerPSU:98608",
  citeseer-references = "oai:CiteSeerPSU:472349; oai:CiteSeerPSU:276822;
                 oai:CiteSeerPSU:303540; oai:CiteSeerPSU:212034;
                 oai:CiteSeerPSU:186935",
  annote =       "The Pennsylvania State University CiteSeer Archives",
  language =     "en",
  oai =          "oai:CiteSeerPSU:573140",
  rights =       "unrestricted",
  URL =          "http://www.cad.polito.it/pap/db/sac03.pdf",
  URL =          "http://citeseer.ist.psu.edu/573140.html",
  abstract =     "The continuous advances in micro-electronics design
                 are creating a significant challenge to design
                 validation in general, but tackling pipelined
                 microprocessors is remarkably more demanding. This
                 paper presents a methodology to automatically induce a
                 test program for a microprocessor maximising a given
                 verification metric. The approach exploits a new
                 evolutionary algorithm, close to Genetic Programming,
                 able to cultivate effective assembly language programs.
                 The proposed methodology was used to verify the
                 DLX/pII, an open-source processor with a 5-stage
                 pipeline. Code-coverage was adopted in the paper, since
                 it can be considered the required starting point for
                 any simulation-based functional verification processes.
                 Experimental results clearly show the effectiveness of
                 the approach.",
}

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

Citations