Functional design errors in digital circuits. Diagnosis correction and repair

DOI10.1007/978-1-4020-9365-4MaRDI QIDQ951243zbMATH OpenOpenAlexFDO

Authors Kai-hui Chang, Valeria Bertacco, 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

bug trace minimizationdebuggingerror 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)

Recommendations

• scientific article; zbMATH DE number 603754
• scientific article; zbMATH DE number 1520169
• Hierarchical fault diagnosis of analog integrated circuits
• Functional fault models for analog circuit elements
• scientific article; zbMATH DE number 47895

Cited in

(3)

• Automatic design error correction of combinatorial circuits
• Post-silicon and runtime verification for modern processors
• From variability tolerance to approximate computing in parallel integrated architectures and accelerators

Describes a project that uses

Uses Software

• MiniSat

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

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