Design and analysis of a self-timed duplex communication system

Alex Yakovlev, Steve Furber, René Krenz, Alexandre Bystrov

Research output: Contribution to journalArticlepeer-review


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. © 2004 IEEE.
Original languageEnglish
Pages (from-to)798-814
Number of pages16
JournalIEEE Transactions on Computers
Issue number7
Publication statusPublished - Jul 2004


Dive into the research topics of 'Design and analysis of a self-timed duplex communication system'. Together they form a unique fingerprint.

Cite this