- 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 '02)",
- 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 = "
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 approach.",
-
notes = "Posted online: 2003-02-28 18:15:31.0
Cited by \cite{squillero:2005:GPEM}",
