Abstract | ||
---|---|---|
One approach to the design of VLSI systems involves the use of asynchronous circuits that communicate by handshaking with each other. The control circuitry generated when following this approach often includes large trees of binary sequencer components. This paper demonstrates that there is scope here for optimization (in order to improve size, speed and energy consumption). Indeed, an industrial-strength silicon compiler has now been modified to take advantage of this fact. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BF01211298 | Formal Asp. Comput. |
Keywords | Field | DocType |
Asynchronous circuits,Four-phase handshake,Speed-independent,Formal methods,Process algebra | Asynchronous communication,Silicon compiler,Computer science,Theoretical computer science,Handshaking,Network analysis,Formal methods,Energy consumption,Very-large-scale integration,Asynchronous circuit | Journal |
Volume | Issue | ISSN |
9 | 4 | 0934-5043 |
Citations | PageRank | References |
3 | 0.43 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark B. Josephs | 1 | 302 | 35.24 |
Andrew M. Bailey | 2 | 23 | 2.79 |