๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Deterministic asynchronous interpretation of parallel microprograms

โœ Scribed by S. M. Achasova

Publisher
Springer US
Year
1986
Tongue
English
Weight
907 KB
Volume
21
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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