Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 2,887 papers for “asynchronous circuits”

Asynchronous Circuits

Maitham Shams, Jo Ebergen, M.I. Elmasry · Wiley Encyclopedia of Electrical and Electronics Engineering · 1999

Abstract The sections in this article are Motivations for Asynchronous Circuits Models and Methodologies Design Techniques Types of Asynchronous Circuits An Asynchronous Design Example Concluding Remarks

Cited by 10

Control circuits for asynchronous circuits

Greg Sadowski · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 2023

The described embodiments include a computing device with one or more asynchronous circuits and control circuits that control the operation of the asynchronous circuits. In some embodiments, the control circuits are arranged in a hierarchy with a top-level control circuit atop the hierarchy and one or more local control circuits lower in the hierarchy. In these embodiments, the top-level control circuit processes operating information for the one or more asynchronous circuits and/or other functional blocks in the computing device to determine an operating state for the computing device. Based on the operating state, the top-level control circuit communicates commands to the local control circuits to cause the local control circuits to operate in corresponding operating modes. Based on a corresponding operating mode command, each local control circuit sets one or more operating parameters for corresponding asynchronous circuits (and/or one or more other functional blocks).

Cited by 0Open access

Asynchronous sequential circuits

Zvi Kohavi, Niraj K. Jha · Cambridge University Press eBooks · 2009

In many practical situations, synchronous circuits lead to more power consumption and delay than asynchronous circuits. Moreover, within large synchronous systems, it is often desirable to allow certain subsystems to operate asynchronously, thereby avoiding some of the problems associated with clocking. In this chapter, we present some of the basic properties of asynchronous sequential circuits and methods for their synthesis.

Cited by 4

Applications of asynchronous circuits

C.H. van Berkel, Mb Josephs, Steven M. Nowick · Proceedings of the IEEE · 1999

A comparison with synchronous circuits suggests four opportunities for the application of asynchronous circuits: high performance, low power; improved noise and electromagnetic compatibility (EMC) properties, and a natural match with heterogeneous system timing. In this overview paper each opportunity is reviewed in some detail, illustrated by examples, compared with synchronous alternatives, and accompanied by numerous pointers to the literature. Conditions for applying asynchronous circuit technology, such as the existence and availability of computer-aided design (CAD) tools, circuit libraries, and effective test approaches, are discussed briefly. Asynchronous circuits do offer advantages for many applications, and their design methods and tools are now starting to become mature.

Cited by 170

Testing micropipelined asynchronous circuits

M.L. King, Kewal K. Saluja · 2005

Despite advances in the design of asynchronous circuits, little progress has been made in their testing or design for testability. This work proposes a new strategy for testing micropipelines, by treating the asynchronous elements, such as the C-element, as atomic state elements for testing purposes. By treating asynchronous elements as finite state machines, tests for these can be generated that verify their correct operation and also detect nearly all testable faults in the circuit. Design for testability methods for a micropipeline are also presented that reduce the amount of hardware added to the design while increasing its overall testability compared to other micropipeline testing methods.

Cited by 7

Theory of asynchronous circuits /

Muller, David E., University of Illinois at Urbana-Champaign. Department of Computer Science., University of Illinois at Urbana-Champaign. Graduate College. Digital Computer Laboratory. · The Journal of the Abraham Lincoln Association

Cited by 0Open access

Synthesis of asynchronous circuits

Mitsuhiro Hattori, Hiroshi Noguchi · Journal of the Mathematical Society of Japan · 1966

In a series of papers The aim of our previous paper@ was not to ex- amine appropriateness of the fundamental concepts of the theory but to settle the theory on the security base by considering a mathematical system $CO_{1}^{\eta_{-}}-$ structed over relations.

Cited by 7Open access

Theory of asynchronous circuits

David E. Muller · Bulletin of Miscellaneous Information (Royal Gardens Kew) · 1955

Seminal Technical report 66: Algebra and Proofs for asynchronous digital circuits. The 2-input, 1-output C-Gate , is derived and described. The C-Gate output will tend toward the value of the two inputs whenever they agree. Otherwise the output will remain at its previous value. The Algebra is shown to be usefully extendable to more complex circuits. The copies at: http://archive.org/details/theoryofasynchro66mull are very helpful, but the OCR is machine output. Based on the scanned images from the document above, a PDF was prepared that was subsequently OCR-ed, and edited to match the text and layout by: Gary Delp and uploaded to the Internet Archive: 11 May 2020 The pages, as digitized, included hand drawn marks; these have been converted to code points in the table below: Symbol L A T E X Code Point ∪ \\cup 8746 ∩ \\cap 8745 = \\Equal 0061 ≈ \\approx 8776 ≠ \\ne 8800 ≥ \\geq 8805 ≤ \\leq 8804

Cited by 270

Verification of asynchronous circuits

P. Cunningham · CL Technical Reports · 2021

The purpose of this thesis is to introduce proposition-oriented behaviours and apply them to the verification of asynchronous circuits. The major contribution of proposition-oriented behaviours is their ability to extend existing formal notations to permit the explicit use of both signal levels and transitions. This thesis begins with the formalisation of proposition-oriented behaviours in the context of gate networks, and with the set-theoretic extension of both regular-expressions and trace-expressions to reason over proposition-oriented behaviours. A new trace-expression construct, referred to as biased composition, is also introduced. Algorithmic realisation of these set-theoretic extensions is documented using a special form of finite automata called proposition automata. A verification procedure for conformance of gate networks to a set of proposition automata is described in which each proposition automaton may be viewed either as a constraint or a specification. The implementation of this procedure as an automated verification program called Veraci is summarised, and a number of example Veraci programs are used to demonstrate contributions of proposition-oriented behaviour to asynchronous circuit design. These contributions include level-event unification, event abstraction, and relative timing assumptions using biased composition. The performance of Veraci is also compared to an existing event-oriented verification program called Versify, the result of this comparison being a consistent performance gain using Veraci over Versify. This thesis concludes with the design and implementation of a 2048 bit dual-rail asynchronous Montgomery exponentiator, MOD_EXP, in a 0.18µm standard-cell process. The application of Veraci to the design of MOD_EXP is summarised, and the practical benefits of proposition-oriented verification are discussed.

Cited by 6Open access

Applications of asynchronous circuits

Berkel, CH Kees van, Josephs, MB, Nowick, SM · TU/e Research Portal (Eindhoven University of Technology) · 1999

A comparison with synchronous circuits suggests four opportunities for the application of asynchronous circuits: high performance, low power; improved noise and electromagnetic compatibility (EMC) properties, and a natural match with heterogeneous system timing. In this overview paper each opportunity is reviewed in some detail, illustrated by examples, compared with synchronous alternatives, and accompanied by numerous pointers to the literature. Conditions for applying asynchronous circuit technology, such as the existence and availability of computer-aided design (CAD) tools, circuit libraries, and effective test approaches, are discussed briefly. Asynchronous circuits do offer advantages for many applications, and their design methods and tools are now starting to become mature

Cited by 2