20 search results - page 1 / 4 » Partial Order Reduction for Detecting Safety and Timing Fail... |
ATVA
2004
Springer
14 years 25 days ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
ENTCS
2002
13 years 7 months ago
2002
ICCAD
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper, we propose a novel fault-oriented test generation methodology for detection and isolation of faults in analog circuits. Given the description of the circuit-underte...
ACSD
2007
IEEE
14 years 1 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...
PRDC
1999
IEEE
13 years 11 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...