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 paper describes the design and verification of a high-performance asynchronous
differential equation solver benchmark circuit. The design has low-control-overhead which …

Geometric region method is one of the techniques to handle real-time systems which have
potentially infinite state spaces. However, the original geometric region method gives …

Presently, the method to verify quantitative time properties on Time Petri Nets is the use of
observers. The state space is then computed to test the reachability of a given marking. The …

In a companion paper [BPV06], we investigated the expressiveness of Time Petri Nets
extended with Priorities and showed that it is very close to that Timed Automata, in terms of …

The theory of Petri Nets provides a general framework to specify the behaviors of real-time
reactive systems and Time Petri Nets were introduced to take also temporal specifications …

This paper presents a new formalism and a new algorithm for verifying timed circuits. The
formalism, called orbital nets, allows hierarchical verification based on a behavioral …

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 …

Real-time systems are appearing in more and more applications where their proper
operation is critical, eg transport controllers and medical equipment. However they are …

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