This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Designing an Asynchronous Processor Using Petri Nets
March/April 1997 (vol. 17 no. 2)
pp. 54-64
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.
Index Terms:
Microprocessors, Petri nets, processor design, frameworks
Citation:
Alex Semenov, Albert M. Koelmans, Lee Lloyd, Alexandre Yakovlev, "Designing an Asynchronous Processor Using Petri Nets," IEEE Micro, vol. 17, no. 2, pp. 54-64, March-April 1997, doi:10.1109/40.592316
Usage of this product signifies your acceptance of the Terms of Use.