Asynchronous Digital Circuit Design by Graham Birtwistle, Alan Davis

By Graham Birtwistle, Alan Davis

As the prices of energy and timing turn into more and more tricky to regulate in conventional synchronous structures, designers are being pressured to examine asynchronous choices. according to remodeled and multiplied papers from the VII Banff better Order Workshop, this quantity examines asynchronous tools that have been utilized in huge circuit layout, starting from preliminary formal specification to extra normal finite kingdom laptop dependent keep an eye on types. Written via best practitioners within the region, the papers conceal many elements of present perform together with functional layout, silicon compilation, and purposes of formal specification. it is also a cutting-edge survey of asynchronous layout. The ensuing quantity should be helpful to a person attracted to designing right asynchronous circuits which show excessive functionality or low energy operation.

Show description

Read or Download Asynchronous Digital Circuit Design PDF

Best software design & engineering books

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

This quantity comprises completely refereed and revised complete papers chosen from the displays on the first workshop held lower than the auspices of the ESPRIT uncomplicated study motion 6453 forms for Proofs and courses in Nijmegen, The Netherlands, in may possibly 1993. because the entire ESPRIT BRA 6453, this quantity is dedicated to the theoretical foundations, layout and purposes of platforms for idea improvement.

Software Engineering Research, Management and Applications 2010

The aim of the eighth convention on software program Engineering, synthetic Intelligence learn, administration and functions (SERA 2010) hung on could 24 – 26, 2010 in Montreal, Canada used to be to compile scientists, engineers, desktop clients, and scholars to proportion their reports and alternate new rules and examine effects approximately all elements (theory, purposes and instruments) of computing device and knowledge technological know-how, and to debate the sensible demanding situations encountered alongside the way in which and the ideas followed to resolve them.

Machine-to-Machine Communications: Architectures, Technology, Standards, and Applications

With the variety of machine-to-machine (M2M)–enabled units projected to arrive 20 to 50 billion by means of 2020, there's a severe have to comprehend the calls for imposed by way of such platforms. Machine-to-Machine Communications: Architectures, expertise, criteria, and functions bargains rigorous remedy of the various elements of M2M verbal exchange, together with its integration with present know-how.

Extra resources for Asynchronous Digital Circuit Design

Example text

B. Bakoglu. Circuits, Interconnections, and Packaging for VLSI. Addison-Wesley, 1990. 38 [7] P. Beerel and T. Meng. Semi-Modularity and Self-Diagnostic Asynchronous Control Circuits. In Carlo H. Sequin, editor, Proceedings of the 1991 University of California/Santa Cruz Conference, pages 103-117. The MIT Press, 1991. A. Beerel, J. Burch, and T. Meng. Efficient verification of determinate speed-independent circuits. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pages 261-267.

Interscience, New York, NY, 1969. H. Unger. Asynchronous sequential switching circuits with unrestricted input changes. IEEE Transactions on Computers, C-20(12):1437-1444, December 1971. H. Unger. Self-synchronizing circuits and nonfundamental mode operation. IEEE Transactions on Computers (Correspondence), C-26(3):278281, March 1977. H. Unger. A building block approach to unclocked systems. In Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, volume I, pages 339-348.

136] P. Vanbekbergen, F. Catthoor, G. Goossens, and H. De Man. Optimized synthesis of asynchronous control circuits from graph-theoretic specifications. In Proceedings of the IEEE International Conference on ComputerAided Design, pages 184-187. IEEE Computer Society Press, November 1990. [137] P. Vanbekbergen, B. Lin, G. Goossens, and H. De Man. A generalized state assignment theory for transformations on signal transition graphs. In Proceedings of the IEEE/ACM International Conference on ComputerAided Design, pages 112-117.

Download PDF sample

Rated 4.75 of 5 – based on 16 votes