Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect–Cause Analysis

DOI10.1109/TC.1982.1675940zbMath0494.94014MaRDI QIDQ3958396

Melvin A. Breuer, Miron Abramovici

Publication date: 1982

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

zbMATH Keywords

circuit initializationfunctional and structural equivalence relationssingle and multiple stuck faults

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect–Cause Analysis