On the automatic HDL bug identification

DOI10.1080/09720529.2005.10698049zbMATH1089.94053OpenAlexW2038279357MaRDI QIDQ3379151FDOQ3379151

Authors Ming-Chih Lai, Yih-Lang Li, S. M. Yuan

Publication date 6 April 2006

Published in Journal of Discrete Mathematical Sciences and Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/09720529.2005.10698049

zbMATH Keywords

verificationsimulationreasoningdebugHDLasic designhardware descriptioninference synthesis

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Recommendations

• On the HDL active trace – a new concept of HDL debugging
• scientific article; zbMATH DE number 139820

Cites work

• Graph-Based Algorithms for Boolean Function Manipulation
• Program Slicing

Cited in

(4)

• On the HDL active trace – a new concept of HDL debugging
• Debugging VHDL designs: Introducing multiple models and first empirical results
• Model-based diagnosis of hardware designs
• Debugging hardware designs using a value-based model

This page was built for publication: On the automatic HDL bug identification

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