9 search results - page 1 / 2 » Hazard Checking of Timed Asynchronous Circuits Revisited |
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
ICCAD
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
SRDS
1997
IEEE
13 years 9 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
ATS
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...