Automatic synthesis of extended burst-mode circuits. I.(Specification and hazard-free implementations)

KY Yun, DL Dill - … Transactions on Computer-Aided Design of …, 1999 - ieeexplore.ieee.org
We introduce a new design style called extended burst-mode. The extended burst-mode
design style covers a wide spectrum of sequential circuits ranging from delay-insensitive to …

[PDF][PDF] An introduction to asynchronous circuit design

A Davis, SM Nowick - The Encyclopedia of Computer Science and …, 1997 - Citeseer
The purpose of this monograph is to provide both an introduction to eld of asynchronous
digital circuit design and an overview of the practical state of the art in 1997. In the early …

Minimalist: An environment for the synthesis, verification and testability of burst-mode asynchronous machines

RM Fuhrer, SM Nowick, M Theobald, NK Jha… - 1999 - academiccommons.columbia.edu
Minimalist is a new extensible environment for the synthesis and verification of burst-mode
asynchronous finite-state machines. Minimalist embodies a complete technology …

The design and verification of a high-performance low-control-overhead asynchronous differential equation solver

KY Yun, PA Beerel, V Vakilotojar… - IEEE transactions on …, 1998 - ieeexplore.ieee.org
This paper describes the design and verification of a high-performance asynchronous
differential equation solver benchmark circuit. The design has low-control-overhead which …

Exploitation of different types of locality for web caches

G Karakostas, DN Serpanos - Proceedings ISCC 2002 Seventh …, 2002 - ieeexplore.ieee.org
Object access distribution in the Web is governed by Zipf's law, in general. This property
leads to effective Web caches, which store the most popular objects and typically employ the …

[图书][B] Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools

RM Fuhrer, SM Nowick - 2012 - books.google.com
Asynchronous, or unclocked, digital systems have several potential advantages over their
synchronous counterparts. In particular, they address a number of challenging problems …

Automated synthesis of micro-pipelines from behavioral Verilog HDL

I Blunno, L Lavagno - … Circuits and Systems (ASYNC 2000)(Cat …, 2000 - ieeexplore.ieee.org
This paper presents a compiler from a standard Hardware Description Language (Verilog
HDL) to an asynchronous Control Unit and a synchronous Data Path. The Control Unit …

Automatic synthesis of extended burst-mode circuits. II.(Automatic synthesis)

KY Yun, DL Dill - … Transactions on Computer-Aided Design of …, 1999 - ieeexplore.ieee.org
We introduce a new design style called extended burst-mode. The extended burst-mode
design style covers a wide spectrum of sequential circuits ranging from delay-insensitive to …

[PDF][PDF] Process spaces and formal verification of asynchronous circuits

R Negulescu - 1998 - uwspace.uwaterloo.ca
This thesis proposes process spaces. a simple and unified treatment for concurrency issues
such as parallel composition. refinement. deadlock. livelock. and starvation. Processes are …

Min-max timing analysis and an application to asynchronous circuits

S Chakraborty, DI Dill, KY Yun - Proceedings of the IEEE, 1999 - ieeexplore.ieee.org
Modern high-performance asynchronous circuits depend on timing constraints for correct
operation, so timing analyzers are essential asynchronous design tools. In this paper we …