✦ LIBER ✦

Simple decompositions of asynchronous circuits

✍ Scribed by A. N. Chebotarev; V. N. Nikolenko

Publisher: Springer US
Year: 1979
Tongue: English
Weight: 558 KB
Volume: 15
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069392

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decomposition of asynchronous logical ci

Decomposition of asynchronous logical circuits. I

✍ A. N. Chebotarev 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 883 KB

Transformations of asynchronous logic ci

Transformations of asynchronous logic circuits

✍ V. N. Nikolenko 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 231 KB

Abstract interpretation of combinational

Abstract interpretation of combinational asynchronous circuits

✍ Sarah Thompson; Alan Mycroft 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 867 KB

A technique, based upon abstract interpretation, is presented that allows general gate-level combinational asynchronous circuits with uncertain delay characteristics to be reasoned about. Our approach is particularly suited to the simulation and model checking of circuits where the identification of

Verification of Asynchronous Circuits us

Verification of Asynchronous Circuits using Timed Automata

✍ Marius Bozga; Hou Jianmin; Oded Maler; Sergio Yovine 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 162 KB

Realization of automata by asynchronous

Realization of automata by asynchronous logical circuits

✍ V. N. Nikolenko 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 737 KB

Models of asynchronous logical circuits

Models of asynchronous logical circuits and delays

✍ A. N. Chebotarev 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 795 KB