scientific article; zbMATH DE number 1956608

zbMATH Open1031.68509MaRDI QIDQ4417958FDOQ4417958

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Wombit: a portfolio bit-vector solver using word-level propagation
• Microprocessor architectural automatic test program generation
• High-level synthesis techniques for functional test pattern execution
• Title not available (Why is that?)
• 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)