Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines

DOI10.1109/TC.1979.1675338MaRDI QIDQ4182440zbMATH OpenOpenAlexFDO

Authors Michel Diaz, Pierre Azéma, J. M. Ayache

Publication date 1979

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

Full work available at URL https://doi.org/10.1109/tc.1979.1675338

zbMATH Keywords

Boolean FunctionsDesign of Sequential MachinesError-Detecting CodeFault SetSelf-Checking and Fail-Safe Combinational CircuitsUnified Design

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines

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