On the automatic HDL bug identification

DOI10.1080/09720529.2005.10698049zbMath1089.94053OpenAlexW2038279357MaRDI QIDQ3379151

Ming-Chih Lai, Yih-Lang Li, Shyan-Ming 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

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