✦ LIBER ✦

Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic

✍ Scribed by Michael Mendler

Book ID: 110267599
Publisher: Springer
Year: 2000
Tongue: English
Weight: 184 KB
Volume: 17
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008780817617

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpreting Intuitionistic Propositiona

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

✍ A.D. Yashin 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 206 KB

Exact reliability analysis of combinatio

Exact reliability analysis of combinational logic circuits

✍ Dokouzgiannis, S.P.; Kontoleon, J.M. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 604 KB

Doing logic by computer: interpolation i

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

✍ Lex Hendriks 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 164 KB

In the full propositional logic, of clas

In the full propositional logic, of classical tautologies are intuitionistically valid

✍ Antoine Genitrini; Jakub Kozik 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Cardinalities of proper ideals in some l

Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

✍ Wiesław Dziobiak 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 402 KB

An algorithm for stuck-at fault coverage

An algorithm for stuck-at fault coverage analysis of combinational and sequential logic circuits

✍ Leonard J. Tung 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 726 KB

An algorithm for stuck-at fault coverage analysis of digital logic circuits is presented. Based on a recently developed stuck-at fault model, the algorithm determines the effectiveness of a given test input set. The algorithm is applicable for studying sequential logic circuits, as well as combinati