The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (2004 vol.53)
pp: 798-814
Ren? Krenz , IEEE
ABSTRACT
<p><b>Abstract</b>—Communication-centric design is a key paradigm for systems-on-chips (SoCs), where most computing blocks are predesigned IP cores. Due to the problems with distributing a clock across a large die, future system designs will be more asynchronous or self-timed. For portable, battery-run applications, power and pin efficiency is an important property of a communication system where the cost of a signal transition on a global interconnect is much greater than for internal wires in logic blocks. The paper addresses this issue by designing an asynchronous communication system aimed at power and pin efficiency. Another important issue of SoC design is design productivity. It demands new methods and tools, particularly for designing communication protocols and interconnects. The design of a self-timed communication system is approached employing formal techniques supported by verification and synthesis tools. The protocol is formally specified and verified with respect to deadlock-freedom and delay-insensitivity using a Petri-net-based model-checking tool. A protocol controller has been synthesized by a direct mapping of the Petri net model derived from the protocol specification. The logic implementation was analyzed using the Cadence toolkit. The results of SPICE simulation show the advantages of the direct mapping method compared to logic synthesis.</p>
INDEX TERMS
Asynchronous circuits, communication protocols, modeling, Petri nets, power and pin efficiency, self-timed circuits, signal transition graphs, synthesis.
CITATION
Alex Yakovlev, Steve Furber, Ren? Krenz, Alexandre Bystrov, "Design and Analysis of a Self-Timed Duplex Communication System", IEEE Transactions on Computers, vol.53, no. 7, pp. 798-814, July 2004, doi:10.1109/TC.2004.26
696 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool