Abstract | ||
---|---|---|
We present a new framework for checking safety failures. The approach is based on the conservative inference of the internal states of a system by the observation of the interaction with its environment. It is based on two similar mechanisms : forward implication, which performs the analysis of the consequences of an input applied to the system, and backward implication, that performs the same task for an output transition. While being a very simple approach, it is general and we believe it can yield efficient algorithms in different safety-failure checking problems. As a case study, we have applied this framework to an existing problem, the hazard checking in (speed-independent) asynchronous circuits. Our new methodology yields an efficient algorithm that performs better or as well as all existing algorithms, while being more general than the fastest one. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1093/ietisy/e91-d.3.642 | IEICE Transactions |
Keywords | Field | DocType |
asynchronous circuit,existing algorithm,safety-failure checking,existing problem,conservative framework,simple approach,new methodology yield,new framework,forward implication,different safety-failure checking problem,hazard checking,efficient algorithm,formal verification | Asynchronous communication,Pattern recognition,Computer science,Inference,Algorithm,Artificial intelligence,Electronic circuit,Computer engineering,Asynchronous circuit,Formal verification | Journal |
Volume | Issue | ISSN |
E91-D | 3 | 0916-8532 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frédéric BÉAl | 1 | 0 | 0.34 |
Tomohiro Yoneda | 2 | 353 | 41.62 |
Chris J. Myers | 3 | 607 | 75.73 |