Toggle Main Menu Toggle Search

Open Access padlockePrints

Design, Analysis and Implementation of a Self-Timed Duplex Communication System

Lookup NU author(s): Professor Alex Yakovlev, Rene Krenz



The design of an asynchronous communication system using partially automated techniques is described in this paper. The protocol is formally specified as a protocol state machine and verified with respect to deadlock-freedom and delay-insensitivity using Petri net based model-checking tools. A protocol controller has been synthesized by direct mapping of the Petri net model derived from the protocol specification. The logic implementation was analysed using the Cadence toolkit. While most of the controller's logic is robust to arbitrary gate delay variations, a number of speed-up strategies based on relative timing have been considered. The results of SPICE simulation show the advantages of the direct mapping method compared to logic synthesis. Overall, the design process suggested here offers a generic way to constructing asynchronous communication systems, for both on-chip and off-chip interconnects.

Publication metadata

Author(s): Yakovlev A, Furber SB, Krenz R

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2002

Pages: 15

Print publication date: 01/01/2002

Source Publication Date: 2002

Report Number: 761

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne