The Community for Technology Leaders
Green Image
We describe a technique for the design and analysis of a simple asynchronous microprocessor from a Labeled 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 modeling framework.
Microprocessors, Petri nets, processor design, frameworks

A. Semenov, L. Lloyd, A. M. Koelmans and A. Yakovlev, "Designing an Asynchronous Processor Using Petri Nets," in IEEE Micro, vol. 17, no. , pp. 54-64, 1997.
83 ms
(Ver 3.3 (11022016))