A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects

DOI10.1109/TC.2009.177zbMATH Open1366.94780MaRDI QIDQ5280798FDOQ5280798

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)