scientific article; zbMATH DE number 2043416

MaRDI QIDQ4450892zbMATH OpenFDO

Authors Daniel Köb, Bernhard Peischl, Franz Wotawa

Publication date 16 February 2004

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

zbMATH Keywords

debugging of hardware designsmodel-based diagnosissoftware debugging

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Debugging VHDL designs: Introducing multiple models and first empirical results
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1708082
• scientific article; zbMATH DE number 2090570
• scientific article; zbMATH DE number 2080065
• scientific article; zbMATH DE number 1418462

Cited in

(4)

• Debugging hardware designs using a value-based model
• Model-based diagnosis of hardware designs
• Debugging VHDL designs: Introducing multiple models and first empirical results
• scientific article; zbMATH DE number 1708082 (Why is no real title available?)

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 Q4450892)