Abstract interpretation of combinational asynchronous circuits
نویسندگان
چکیده
منابع مشابه
Abstract Interpretation of Combinational Asynchronous Circuits
Interpretation of Combinational Asynchronous Circuits Sarah Thompson, Alan Mycroft Computer Laboratory, University of Cambridge, William Gates Building, JJ Thompson Avenue, Cambridge, CB3 0FD, UK
متن کاملStatically Analysing the Dynamic Behaviour of Asynchronous Circuits by Abstract Interpretation
Interpretation is a long-established mathematical approach that has the capability to statically analyse the dynamic properties of a system. Traditionally, it has been applied to software, allowing useful information about the run-time properties of programs to be determined without requiring them to be executed. This paper presents an abstract interpretation framework that allows dynamic prope...
متن کاملProbabilistic Methods for Combinational Circuits
The probabilistic methods for power estimation in combinational circuits are classified in two categories according to the adopted gate-delay model. The zero and real gate-delay power estimation methods. Under zero delay model, assuming spatiotemporal independence among the circuit signals, the switching activity, E(sw), of a circuit node, x, is given by ) 1 ( 2 2 ) ( 1 1 0 1 x x x x p p p p sw...
متن کاملDetermining Covers in Combinational Circuits
In this paper we propose a procedure for determining 0– or 1– cover of an arbitrary line in a combinational circuit. When determining a cover we do not need Boolean expression for the line; only the circuit structure is used. Within the proposed procedure we use the tools of the cube theory, in particular, some operations defined on cubes. The procedure can be applied for determining 0– and 1– ...
متن کاملAsynchronous Circuits
Digital VLSI circuits are usually classi ed into synchronous and asynchronous circuits Synchronous circuits are generally controlled by global synchronization signals provided by a clock Asynchronous circuits on the other hand do not use such global synchroniza tion signals Between these extremes there are various hybrids Digital circuits in today s commercial products are almost exclusively sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2007
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.03.007