Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of a Signal-type Asynchronous Data Communication Mechanism and its Hardware Implementation

Lookup NU author(s): Professor Alex Yakovlev, Dr Fei Xia, Dr Delong Shang


Full text is not currently available for this publication.


This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-sriven (""lazy"") logic must be interfaced with a time- driven (""busy"") environment. A new classification system for ACMs is introduced. The conceptual definition of the signal ACM (called simply ""Signal"") is refined using Petri net techniques. Based on this, a more precise state graph specification of a two-slot Signal is then constructed. Using theory of regions, a Petri net specification of the ACM is synthesized from the state graph. The Petri net model is then translated into a hardware implementation, which is entered into the Cadence tools. Simulation results show that the hardware does conform to the definitions and specifications. The techniques employed in this work are potentially useful in the development of an automated process of synthesising similar systems.

Publication metadata

Author(s): Yakovlev A, Xia F, Shang D

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2000

Pages: 10

Print publication date: 01/01/2000

Source Publication Date: 2000

Report Number: 720

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

Place Published: Newcastle upon Tyne