Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/514.pdf
