Approximate reasoning about logic circuits with single-fan-out unreliable gates

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.

[1]  Rohit Chadha,et al.  Reasoning about probabilistic sequential programs , 2007, Theor. Comput. Sci..

[2]  Cristina Sernadas,et al.  On meet-combination of logics , 2012, J. Log. Comput..

[3]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[4]  Eric A. Brewer,et al.  How computer science serves the developing world , 2009, CACM.

[5]  S. H. Lee,et al.  Boolean functions over nano-fabrics: Improving resilience through coding , 2012, 2010 IEEE Information Theory Workshop on Information Theory (ITW 2010, Cairo).

[6]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[7]  Marcelo E. Coniglio,et al.  The Many Sides of Logic , 2009 .

[8]  Jianbo Gao,et al.  Toward hardware-redundant, fault-tolerant logic for nanoelectronics , 2005, IEEE Design & Test of Computers.

[9]  Jeff B. Paris,et al.  Inconsistency as qualified truth: A probability logic approach , 2009, Int. J. Approx. Reason..

[10]  Hao Chen,et al.  On the Reliability of Computational Structures Using Majority Logic , 2011, IEEE Transactions on Nanotechnology.

[11]  Arnon Avron,et al.  Proof Systems for Reasoning about Computation Errors , 2009, Stud Logica.

[12]  David Poole,et al.  Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..

[13]  P. Mateus,et al.  Exogenous Semantics Approach to Enriching Logics , 2005 .

[14]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[15]  Jerry den Hartog,et al.  Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic , 2007, Sci. Comput. Program..

[16]  D. Marker.  Model theory : an introduction , 2002 .

[17]  Joseph Sifakis,et al.  Model checking , 1996, Handbook of Automated Reasoning.

[18]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[19]  Cristina Sernadas,et al.  On Combined Connectives , 2011, Logica Universalis.

[20]  Beate Bollig.  Exponential space complexity for OBDD-based reachability analysis , 2010, Inf. Process. Lett..

[21]  Sanjukta Bhanja,et al.  Probabilistic Error Modeling for Nano-Domain Logic Circuits , 2009, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.