Keyword

asynchronous circuits

Description: Digital circuits that operate without a global clock, coordinating signal changes through local timing and handshaking.

Primary topic: Low-power high-performance VLSI design (33%)

Related topics: Low-power high-performance VLSI design (33%), VLSI and FPGA Design Techniques (16%), Formal Methods in Verification (8%)

Wikidata ID: wiki/Q629971

OpenAlex ID: keywords/asynchronous-circuits

Digital integrated circuits : a design perspective

1996 · Jan M. Rabaey, Anantha P. Chandrakasan, et al. · CERN Document Server (European Organization for Nuclear Research) · 2,152

Symbolic model checking: an approach to the state explosion problem

1992 · Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 976

Optical Fault Induction Attacks

2003 · Sergei P. Skorobogatov, Ross J. Anderson · Lecture notes in computer science · 786

The torus routing chip

1986 · William J. Dally, Charles L. Seitz · Distributed Computing · 777

Principles of Asynchronous Circuit Design: A Systems Perspective

2010 · Jens Spars, Steve Furber · Springer eBooks · 666

Principles of Asynchronous Circuit Design

2001 · Springer eBooks · 652

Globally-Asynchronous Locally-Synchronous Systems

1985 · Chapiro, Daniel · Defense Technical Information Center (DTIC) · 626

Symbolic model checking for sequential circuit verification

1994 · J.R. Burch, E.M. Clarke, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 551

Asynchronous design methodologies: an overview

1995 · S. Hauck · Proceedings of the IEEE · 546

Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers

1997 · J Cortadella, M Kishinevsky, et al. · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 511

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

1989 · David L. Dill · The MIT Press eBooks · 510

Synthesis of Self-timed Vlsi Circuits From Graph-theoretic Specifications

1987 · T.-A. Chu · DSpace@MIT (Massachusetts Institute of Technology) · 492

Sequential circuit verification using symbolic model checking

1990 · J. R. Burch, E. M. Clarke, et al. · 417

Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

1993 · K. L. McMillan · Lecture notes in computer science · 369

Compiling communicating processes into delay-insensitive VLSI circuits

1986 · Alain J. Martin · Distributed Computing · 360

Anomalous Behavior of Synchronizer and Arbiter Circuits

1973 · T.J. Chaney, C.E. Molnar · IEEE Transactions on Computers · 332

The design of an asynchronous MIPS R3000 microprocessor

2002 · A.J. Martin, A. Lines, et al. · 327

NULL Convention Logic/sup TM/: a complete and consistent logic for asynchronous digital circuit synthesis

2002 · K.M. Fant, S.A. Brandt · 318

The Limitations to Delay-Insensitivity in Asynchronous Circuits

1990 · Alain J. Martin · Springer eBooks · 316

Asynchronous Techniques for System-on-Chip Design

2006 · A.J. Martin, M. Nystrom · Proceedings of the IEEE · 310

Specification and validation methods

1995 · Egon Börger · Oxford University Press eBooks · 309

Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits

1989 · Martin, Alain J. · CaltechAUTHORS (California Institute of Technology) · 309

A Router Architecture for Connection-Oriented Service Guarantees in the MANGO Clockless Network-on-Chip

2005 · T. Bjerregaard, J. Sparso · Design, Automation, and Test in Europe · 296

A technique of state space search based on unfolding

1995 · K. L. McMillan, D. K. Probst · Formal Methods in System Design · 272

Practical design of globally-asynchronous locally-synchronous systems

2002 · J. Muttersbach, T. Villiger, et al. · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · 267

Works count: 6,313

Citation count: 58,960