Microprocessor architectural automatic test program generation

MaRDI QIDQ3365695zbMATH OpenFDO

Authors Dan Zhu, Tun Li, Yang Guo, Sikun Li

Publication date 23 January 2006

zbMATH Keywords

architecture description language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1962062
• scientific article; zbMATH DE number 1956608
• Functional testing of RISC-microprocessors
• scientific article; zbMATH DE number 1962881
• Generation of test data for verification of caching mechanisms and address translation in microprocessors

Cited in

(5)

• Generation of test data for verification of caching mechanisms and address translation in microprocessors
• Efficient techniques for automatic verification-oriented test set optimization
• scientific article; zbMATH DE number 1956608 (Why is no real title available?)
• scientific article; zbMATH DE number 1962062 (Why is no real title available?)
• scientific article; zbMATH DE number 1962881 (Why is no real title available?)

This page was built for publication: Microprocessor architectural automatic test program generation

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