Testing diagnostics of modern microprocessors with the use of functional models

DOI10.1134/S0005117908080122MaRDI QIDQ1003017zbMATH OpenOpenAlexFDO

Authors V. V. Belkin

Publication date 26 February 2009

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0005117908080122

zbMATH Keywords

functional diagnostic tests

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• Functional Testing of Microprocessors
• Functional testing of RISC-microprocessors
• Model-based diagnosis of hardware designs
• Functional diagnosis of combinational circuits by compact testing methods
• Constructing microprocessor tests. I. The general model. Testing data processing functions

Cites work

• Abstract State Machines
• scientific article; zbMATH DE number 53772 (Why is no real title available?)
• scientific article; zbMATH DE number 830949 (Why is no real title available?)
• Test Generation for Microprocessors
• Verification of out-of-order processor designs using model Checking and a light-weight completion function

Cited in

(8)

• Constructing microprocessor tests. I. The general model. Testing data processing functions
• A general model and generation of tests for interregister transfer control mechanisms in microprocessors
• Functional testing of RISC-microprocessors
• Functional Testing of Microprocessors
• scientific article; zbMATH DE number 193538 (Why is no real title available?)
• scientific article; zbMATH DE number 1956608 (Why is no real title available?)
• MIHST: A Hardware Technique for Embedded Microprocessor Functional On-Line Self-Test
• Silicon debug of a powerPC microprocessor using model checking

This page was built for publication: Testing diagnostics of modern microprocessors with the use of functional models

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