Abstract | ||
---|---|---|
Conformance has been used as a correctnesscriterion for asynchronous circuits. In thecase of untimed systems, conformance of an implementationto a specication is equivalent to the failurefreenessbetween the implementation and the mirrorof the specication. For bounded-delay systems, ingeneral this property does not hold. In this paper, wedene various notions of failure and examine whetherthe above propery holds or not. We then discuss alternativeeective algorithms for conformance... |
Year | DOI | Venue |
---|---|---|
2001 | 10.1145/370155.370387 | Asia and South Pacific Design Automation Conference |
Keywords | Field | DocType |
untimed system,asynchronous circuit,bounded-delay asynchronous circuit,correctness criterion,asychronous circuit,various notion,conformance checking,effective algorithm,bounded-delay system,petri nets,cores,computer science,intellectual property,system on a chip,logic,formal verification,mirroring | Asynchronous communication,System on a chip,System level modeling,Computer science,Correctness,Real-time computing,Mirroring,Conformance checking,Electronic circuit,Formal verification,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7803-6634-4 | 1 | 0.36 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bin Zhou | 1 | 1 | 0.36 |
Tomohiro Yoneda | 2 | 353 | 41.62 |
Bernd-holger Schlingloff | 3 | 195 | 19.56 |