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)

Full work available at URL https://doi.org/10.1109/TC.2009.177

Mathematics Subject Classification ID

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

Cited in

(2)

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

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)