scientific article; zbMATH DE number 1956608

MaRDI QIDQ4417958zbMATH OpenFDO

Authors Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel

Publication date 30 July 2003

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

zbMATH Keywords

Code-based test generationconstraint solving techniquesfunctional hardware verification

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Microprocessor architectural automatic test program generation
• Functional Testing of Microprocessors
• Efficient techniques for automatic verification-oriented test set optimization
• Generation of test data for verification of caching mechanisms and address translation in microprocessors
• Testing diagnostics of modern microprocessors with the use of functional models

Cited in

(9)

• Wombit: a portfolio bit-vector solver using word-level propagation
• scientific article; zbMATH DE number 1962062 (Why is no real title available?)
• scientific article; zbMATH DE number 1962881 (Why is no real title available?)
• Microprocessor architectural automatic test program generation
• High-level synthesis techniques for functional test pattern execution
• scientific article; zbMATH DE number 2204028 (Why is no real title available?)
• Efficient techniques for automatic verification-oriented test set optimization
• Generation of test data for verification of caching mechanisms and address translation in microprocessors
• Functional Testing of Microprocessors

This page was built for publication:

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