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 …

This book is the result of a long friendship, of a broad international co operation, and of a
bold dream. It is the summary of work carried out by the authors, and several other wonderful …

Relative timing (RT) is introduced as a method for asynchronous design. Timing
requirements of a circuit are made explicit using relative timing. Timing can be directly …

We consider time Petri nets with multiple-server semantics. We first prove that this setting is
strictly more expressive, in terms of timed bisimulation, than its single-server counterpart. We …

In order to continue to produce circuits of increasing speeds, designers must consider
aggressive circuit design styles such as self-resetting or delayed-reset domino circuits used …

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 …

Recent design examples have shown that significant performance gains are realized when
circuit designers are allowed to make aggressive timing assumptions. Circuit correctness in …

In order to increase performance, circuit designers are beginning to move away from
traditional, synchronous designs based on static logic. Recent design examples have shown …

This paper presents an improved timing algorithm for the analysis of timed Petri nets that is
based on the POSET algorithm. The new algorithm reduces the number of redundant …

In a parallel composition of timed automata, some transitions are independent to others.
Generally the basic method generates one successors for each of the legal permutations of …