Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets

Lookup NU author(s): Professor Alex Yakovlev, Dr Albert Koelmans, Professor David Kinniment



In this paper we survey some of the existing techniques for modelling, analysis and synthesis of asynchronous control circuits. All these methods are based on the use of Petri nets as a tool for describing the behaviour of such circuits. The descriptive power of Petri nets allows them to model a wide range of asynchronous circuit components, whether they are built in the two-phase (micropipeline) or in the four-phase (logic gate based) design styles. We present three different approaches to verification of net-based models, and show their relative strengths and weaknesses. We advocate their complementary application for different classes of Petri nets and the properties verified. Two major synthesis approaches are demonstrated using the example of a modulo-N Up/Down counter. The first one is a combination of Petri net level decompositions and syntax-directed translation of nets into circuits. The second one is based on logic synthesis from Signal Transition Graph specifications.

Publication metadata

Author(s): Yakovlev A, Koelmans AM, Semenov A, Kinniment DJ

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 21

Print publication date: 01/01/1995

Source Publication Date: 1995

Report Number: 514

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

Place Published: Newcastle upon Tyne