Name
Abstract | ||
|---|---|---|
We show how to retarget the correctness proofof a hardware compiler generating two-phase delayinsensitivecircuits to a compiler generating four-phasespeed-independent circuits. We use protocol convertersto convert the specifications of our compiler's twophasecircuit elements into equivalent specifications forfour-phase elements. The processes of converting thespecifications and verifying their implementations areautomated.1 IntroductionLarge asynchronous circuits are difficult to... |
Year | DOI | Venue |
|---|---|---|
1994 | 10.1109/ASYNC.1994.656286 | Salt Lake City, UT |
Keywords | Field | DocType |
asynchronous circuits,correctness proof,equivalent specifications,four-phase elements,four-phase speed-independent circuits,hardware compiler proof,protocol converters,specifications,two-phase circuit elements,two-phase delay-insensitive circuits | Correctness proofs,Computer science,Compiler correctness,Compiler,Converters,Retargeting,Implementation,Electrical element,Computer hardware,Electronic circuit | Conference |
ISBN | Citations | PageRank |
0-8186-6210-7 | 8 | 1.34 |
References | Authors | |
3 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Geoffrey Brown | 1 | 24 | 6.58 |
| Wayne Luk | 2 | 3752 | 438.09 |
| John O'leary | 3 | 8 | 1.34 |