Toggle Main Menu Toggle Search

Open Access padlockePrints

Designing an Asynchronous Processor Using Petri-Nets

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



We describe a technique for the design and analysis of a simple asynchronous microprocessor from a Labelled Petri Net specification. The implementation is obtained by means of refinement, transformation and translation. Several versions of the microprocessor design are presented, evaluated and compared. The Petri net based approach allows an interplay of different formal tasks, such as synthesis, verification and performance evaluation, to be carried out within the single modelling framework.

Publication metadata

Author(s): Semenov A, Koelmans AM, Lloyd L, Yakovlev A

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 20

Print publication date: 01/01/1995

Source Publication Date: 1995

Report Number: 539

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

Place Published: Newcastle upon Tyne