Functional design errors in digital circuits. Diagnosis correction and repair

DOI10.1007/978-1-4020-9365-4zbMath1159.68314OpenAlexW4235770709MaRDI QIDQ951243

Valeria Bertacco, Kai-hui Chang, Igor L. Markov

Publication date: 23 October 2008

Published in: Lecture Notes in Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9365-4

zbMATH Keywords

debuggingbug trace minimizationerror diagnosis method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Computer system organization (68M99)

Uses Software

• MiniSat

This page was built for publication: Functional design errors in digital circuits. Diagnosis correction and repair