Automatic Test Program Generation for Pipelined Processors

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

@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