Evolving assembly programs: How games help microprocessor validation

IEEE Transactions on Evolutionary Computation

Volumn 9, Issue 6, 2005, Pages 695-706

  Corno, Fulvio ^a   Sánchez, Ernesto ^a   Squillero, Giovanni ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

Automatic programming; Core war; Evolutionary program generation; Games; Microprocessor testing

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EVOLUTIONARY ALGORITHMS; GAME THEORY; MICROPROCESSOR CHIPS; RECURSIVE FUNCTIONS;

EVOLUTIONARY PROGRAM GENERATION; MICROPROCESSOR TESTING;

AUTOMATIC PROGRAMMING;

EID: 29244453993     PISSN: 1089778X     EISSN: None     Source Type: Journal    
DOI: 10.1109/TEVC.2005.856207     Document Type: Article

References (32)

1. International Technology Roadmap for Semiconductors, 2003 ed.
2. Sourceforge. [Online]. Available: http://corewars.sourceforge.net/
3. SAL. Dept. Math. Statistical Sci., Univ. Alberta, Edmonton, AB, Canada. [Online]. Available: http://sal.math.ualberta.ca/
4. M. Ankerl. (2000) Yet Another Corewar Evolver (Yace). [Online]. Available: http://students.fhs-hagenberg.ac.at/se/se00001/yace.html
5. D. Hillis. (2000) RedRace (Red Queen's Race). [Online]. Available: http://users.erols.com/dbhillis/
6. KOTH. [Online]. Available: http://www.koth.org/
7. Koenigstuhl. [Online]. Available: http://www.ociw.edu/-birk/COREWAR/ koenigstuhl.html
8. T. Newton. (1998). Redmaker. [Online]. Available: http://www.tl.infi.net/ ~wtnewton/corewar/evol/
9. Tiny Hall of Fame. [Online]. Available: http://corewar.co.uk/tinyhof.txt
10. M. Abramovici, M. A. Breuer, and A. D. Friedman, Digital Systems Testing & Testable Design. New York: Wiley, 1994.
11. Bentley and R. Gray, "Validating the Intel® Pentium® Processor," Intel Technol. J., vol. 1Q, pp. 1-8, Feb. 12, 2001. ISSN 1535-766X. [Online]. Available: http://www.intel.com/technoIogy/itj/ q12001/pdf/art_3.pdf.
12. B. Blaha and D. Wunsch, "Evolutionary programming to optimize an assembly program:" in Proc. Congr Evol. Comput., 2002, pp. 1901-1903.
13. E. Burke, S. Gustafson, and G. Kendall, "Diversity in genetic programming: An analysis of measures and correlation with fitness," IEEE Trans. Evol. Comput., vol. 8, no. 1, pp. 47-62, Feb. 2004.
14. F. Corno, G. Cumani, M. S. Reorda, and G. Squillero, "Fully automatic test program generation for microprocessor cores," Design, Auto. Test in Europe, pp. 1006-1011, 2003.
15. R Corno, E. Sanchez, M. S. Reorda, and G. Squillero, "Automatic test program generation - A case study," IEEE Design & Test, Functional Verification and Testbench Generation, vol. 21, no. 2, pp. 102-109, Mar.-Apr. 2004.
16. R Corno, E. E. Sanchez, M. S. Reorda, and G. Squillero, "Code generation for functional validation of pipelined microprocessors," J. Elect. Testing, vol. 20, no. 3, pp. 269-278, Jun. 2004.
17. R Corno, E. Sanchez, and G. Squillero, "Exploiting co-evolution and a modified island model to climb the corewar hill," in Proc. Congr. Evol. Comput., 2003, pp. 2222-2229.
18. F. Corno, E. Sanchez, and G. Squillero, "On the evolution of corewar warriors," in Proc. Congr. Evol. Comput., 2004, pp. 133-138.
19. A. L. Crouch, Design for Test for Digital IC's and Embedded Core Systems. Englewood Cliffs, NJ: Prentice-Hall, 1999.
20. A. K. Dewdney, "Computer recreations: In the game called core war hostile programs engage in a battle of bits," Sci. Amer, vol. 250, no. 5, pp.14-22, 1984.
21. J. E. F. Friedl, Mastering Regular Expressions, 2nd ed: O'Reilly and Associates, 2002.
22. T. R. Halfhill, "The truth behind the pentium bug," Byte, Mar. 1995.
23. J. R. Koza, "Genetic programming," in Encyclopedia of Computer Science and Technology. New York: Marcel Dekker, 1998, vol. 39, pp. 29-43.
24. W. Lindsay, E. Sanchez, M. S. Reorda, and G. Squillero, "Automatic test programs generation driven by internal performance counters," IEEE Microprocessor Test and Verification, 2004, to be published.
25. E Nekoogar and F. Nekoogar, From ASIC's to SOCs. Englewood Cliffs, NJ: Prentice-Hall, 2003.
26. D. A. Patterson and J. L. Hennessy, Computer Architecture - A Quantitative Approach, 2nd ed. San Mateo, CA: Morgan Kaufmann, 1996.
27. J. Perry. Core wars genetics: The evolution of predation. [Online]. Available: http://www.soberit.hut.fi/tik-76.115/96-97/palantu-settgroups/ DSM/ma/documents/cwbasics.html
28. R. Poli, "A simple but theoretically-motivated method to control bloat in genetic programming," EuroGP, pp. 204-217, 2003.
29. I. Silas, I. Frumkin, E. Hazan, E. Mor, and G. Zobin, "System-level validation of the Intel® Pentium® M Processor," Intel Technol. J., pp. 37-43, May 2003. [Online]. Available: ftp:// download.intel.com/technology/itj/2003/volume07issue02/art04-validation/ vol7iss2_art04.pdf.
30. J. P. Shen and M. Lipasti, Modem Processor Design. New York: McGraw-Hill, 2002.
31. G. Squillero, "MicroGP-An evolutionary assembly program generator," Genetic Program. Evolv. Mach., Aug. 2005. SSN: 1389-2576 (Paper) 1573-7632. [Online]. Available: http://dx.doi.org/ 10.1007/s10710-005-2985-x.
32. F. Corno, G. Cumani, M. S. Reorda, and G. Squillero, "Efficient machine-code test-program induction," in Proc. Congr. Evol. Comput., Honolulu, HI, 2002, pp. 1486-1491.