✦ LIBER ✦

A logic hazard detection and elimination method

✍ Scribed by Levente L. Máté; Santanu Das; Henry Y.H. Chuang

Book ID: 114037016
Publisher: Elsevier Science
Year: 1974
Weight: 758 KB
Volume: 26
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(74)80004-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method of hazard detection by five-val

A method of hazard detection by five-valued logic simulation based on the TRF delay model

✍ Min Sup Kang; Hiroshi Deguchi; Isao Shirakawa 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 852 KB

A Simplified General Method for Static H

A Simplified General Method for Static Hazard Detection

✍ Zisapel, Y. 📂 Article 📅 1976 🏛 IEEE 🌐 English ⚖ 917 KB

Logic detection method for rf pulses

✍ Yu. A. Latyshev; V. B. Novikov; V. A. Sel'skii 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 208 KB

A detection method for logic functions s

A detection method for logic functions suitable for dual-logic synthesis

✍ Yinshui Xia; Fei Sun; Keyi Mao 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 225 KB

A new collision method for the detection

A new collision method for the detection of axonal hazard

✍ Kosugi, Y.; Yanagawa, N.; Ikebe, J. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 334 KB

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

✍ Robert A. Bull 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca