Debugging VHDL designs: Introducing multiple models and first empirical results

DOI10.1023/B:APIN.0000033635.98612.1EMaRDI QIDQ1768500zbMATH OpenOpenAlexFDO

Authors Franz Wotawa

Publication date 15 March 2005

Published in Applied Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:apin.0000033635.98612.1e

zbMATH Keywords

debugging hardware designsmodel-based diagnosismodeling for diagnosis

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1708082
• Debugging hardware designs using a value-based model
• Model-based diagnosis of hardware designs
• scientific article; zbMATH DE number 2043416
• On the automatic HDL bug identification

Cited in

(4)

• Debugging hardware designs using a value-based model
• Model-based diagnosis of hardware designs
• scientific article; zbMATH DE number 1708082 (Why is no real title available?)
• scientific article; zbMATH DE number 2043416 (Why is no real title available?)

This page was built for publication: Debugging VHDL designs: Introducing multiple models and first empirical results

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