With asynchronous circuit design becoming a powerful tool in the development of new
digital systems, circuit designers are expected to have asynchronous design skills and be …

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 …

In recent years, there has been a resurgence of interest in the design of asynchronous
circuits due to their ability to eliminate clock skew problems, achieve average case …

This paper presents a new algorithm for efficiently verifying timed systems. The new
algorithm represents timing information using geometric regions and explores the timed …

Logic decomposition is a well-known problem in logic synthesis, but it poses new
challenges when targeted to speed-independent circuits. The decomposition of a gate into …

Direct mapping helps avoid algorithmic complexity which is inherent in logic synthesis
methods. However, existing techniques for direct mapping of Petri net specifications to …

This paper presents a method for the automatic synthesis of asynchronous circuits from Petri
net specifications. The method is based on a structural encoding of the system in such a way …

This paper presents a new timing analysis algorithm for efficient state space exploration
during the synthesis of timed circuits or the verification of timed systems. The source of the …

This paper presents new timing analysis algorithms for efficient state space exploration
during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that …

Volume 38-Supplement 23: Algorithms for Designing Multimedia Storage Servers to Models
and Architectures. Covering more than basic computer commands and procedures, this …