An enhanced framework for microprocessor test-program generation

DOI10.1007/3-540-36599-0_28MaRDI QIDQ4418495zbMATH OpenFDO

Authors Fulvio Corno, Giovanni Squillero

Publication date 10 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2610/26100307.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Exploiting auto-adaptive GP for highly effective test programs generation
• Microprocessor architectural automatic test program generation
• Efficient techniques for automatic verification-oriented test set optimization
• Generation of test data for verification of caching mechanisms and address translation in microprocessors
• Code-based test generation for validation of functional processor descriptions

Cited in

(4)

• Generation of test data for verification of caching mechanisms and address translation in microprocessors
• Automatic generation of tests based on the configuration files for compiler optimization transformations
• Microprocessor architectural automatic test program generation
• Exploiting auto-adaptive GP for highly effective test programs generation

This page was built for publication: An enhanced framework for microprocessor test-program generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418495)