Deakin University
Browse

File(s) not publicly available

New method for converting trace theoretic specifications to signal transition graphs

journal contribution
posted on 1995-05-01, 00:00 authored by C J Coomber, Peter HoranPeter Horan
The specification of delay-insensitive, asynchronous circuits can be undertaken in a variety of ways. Two methods discussed in this paper involve Trace Theory and Signal Transition Graphs. Trace Theory is used to describe the behaviour of circuits in terms of sequences (or traces) of signals. These traces can be composed to express co-operative behaviour. However, the resultant composite often suffers from an explosion of states and transitions, which makes it difficult to visualise synchronous and concurrent behaviour. By employing Signal Transition Graphs, which are a kind of Petri net, this problem can be ameliorated. In this paper we summarise both Trace Theory and Signal Transition Graphs and describe the advantages we have found in using both interchangeably. The bulk of the paper is devoted to a new technique we have devised for converting Trace Diagrams into Signal Transition Graphs. This technique allows us to readily exploit benefits of both Trace Theory and Signal Transition Graphs.

History

Journal

Australian Computer Journal

Volume

27

Issue

2

Pagination

62 - 70

ISSN

0004-8917

Publication classification

C1.1 Refereed article in a scholarly journal

Usage metrics

    Research Publications

    Categories

    No categories selected

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC