Abstract
A complete extension of classical propositional logic is proposed for reasoning about circuits with unreliable gates. The pitfalls of extrapolating classical reasoning to such unreliable circuits are extensively illustrated. Several metatheorems are shown to hold with additional provisos. Applications are provided in verication of logic circuits and improving their reliability.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have