Automatic design error correction of combinatorial circuits

MaRDI QIDQ2739727zbMATH OpenFDO

Authors Dirk W. Hoffmann

Publication date 16 September 2001

zbMATH Keywords

automatic design error correction for combinatorial circuits

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Analytic circuit theory (94C05) Fault detection; testing in circuits and networks (94C12)

Review text

This book is the doctoral dissertation of the author at the University of Tübingen. It studies automatic design error correction for combinatorial circuits. The motivation is the high complexity of VLSI circuit designs that require millions of gates. The scope of the dissertation is the development of a method for performing automatic error localization and correction of combinatorial circuits at the gate level. Various verification and validation methods are proposed to minimize the number of design errors throughout the different stages of the hardware design cycle.

Recommendations

• Functional design errors in digital circuits. Diagnosis correction and repair
• Robustness and usability in modern design flows
• scientific article; zbMATH DE number 1059899
• scientific article; zbMATH DE number 1487863
• scientific article; zbMATH DE number 1216281

Cited in

(4)

• Automatic structures for semigroup constructions.
• scientific article; zbMATH DE number 1059899 (Why is no real title available?)
• scientific article; zbMATH DE number 1487863 (Why is no real title available?)
• scientific article; zbMATH DE number 2089878 (Why is no real title available?)

This page was built for publication: Automatic design error correction of combinatorial circuits

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