Debugging VHDL designs: Introducing multiple models and first empirical results

DOI10.1023/B:APIN.0000033635.98612.1EzbMath1075.68576OpenAlexW2084302879MaRDI QIDQ1768500

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

model-based diagnosisdebugging hardware designsmodeling for diagnosis

Mathematics Subject Classification ID

Theory of software (68N99)

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