Title :
Designing an asynchronous processor using Petri nets
Author :
Semenov, Alex ; Koelmans, Albert M. ; Lloyd, Lee ; Yakovlev, Alexandre
Author_Institution :
Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
Abstract :
Using a simple example, we demonstrate how to design and analyze asynchronous systems from labeled Petri net specifications, later refining, transforming, and translating them for implementations
Keywords :
Petri nets; asynchronous circuits; computer architecture; performance evaluation; Petri nets; asynchronous processor; asynchronous systems; labeled Petri net; Asynchronous circuits; Bars; Circuit testing; Fires; Labeling; Petri nets; Process design; Safety; System recovery; Timing;
Journal_Title :
Micro, IEEE
