Designing an Asynchronous Processor Using Petri-Nets (1995)

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

    Abstract: 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.

      • Date: 1995
      • Series Title: Department of Computing Science Technical Report Series
      • Pages: 20
      • Institution: Department of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: asynchronous processor, modelling, petri nets, synthesis, verification


      Professor Alex Yakovlev
      Professor of Computer System Design