A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects

DOI10.1109/TC.2009.177MaRDI QIDQ5280798zbMATH OpenFDO

Authors Alberto Bosio, Serge Pravossoudovitch, Arnaud Virazel, Patrick R. Girard

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Cited in

(2)

• Fault identification in system-level diagnosis: A logic-based framework and an \(O(n^2\sqrt\tau / \sqrt{\log n)}\) algorithm
• Effective error diagnostic tools for logical prototype systems

This page was built for publication: A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects

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