On the automatic HDL bug identification

DOI10.1080/09720529.2005.10698049zbMATH Open1089.94053OpenAlexW2038279357MaRDI QIDQ3379151FDOQ3379151

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)

Cites Work

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

Cited In (2)

• Model-based diagnosis of hardware designs
• On the HDL active trace – a new concept of HDL debugging

   Recommendations

• On the HDL active trace – a new concept of HDL debugging 👍 👎
• Title not available (Why is that?) 👍 👎

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)