Toggle Main Menu Toggle Search

Open Access padlockePrints

Symbolic Signal Transition Graphs and Asynchronous Circuit Design

Lookup NU author(s): Professor Alex Yakovlev



Signal Transition Graph (STG), the interpretation of Petri Net (PN) by the changes of values of binary signals, has recently become popular as a model for asynchronous control circuit synthesis. It is however unable to define the behaviour of abstract Asynchronous Control Structures (ACSs), whose components have many outputs and ""signals"" are multi-valued or symbolic. Our aim is to present a model, called Symbolic Signal Transition Graph (SSTG), that is the natural extension of STG in which PN transitions are labelled with the changes of values of symbolic variables. We present a synthesis procedure and sufficient conditions for the implement ability of the binary expansion (after an appropriate encoding) of an SSTG specification of an abstract ACS. Two circuit synthesis examples, a bus interface and a two-way pipeline channel, effectively illustrate the approach.

Publication metadata

Author(s): Yakovlev A, Petrov AI

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1992

Pages: 20

Print publication date: 01/09/1992

Source Publication Date: September 1992

Report Number: 395

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

Place Published: Newcastle upon Tyne