Designing an asynchronous processor using petri nets

IEEE Micro

Volumn 17, Issue 2, 1997, Pages 54-63

  Semenov, Alex ^a,b   Koelmans, Albert M ^a,c   Lloyd, Lee ^a   Yakovlev, Alexandre ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b SAINT PETERSBURG ELECTROTECHNICAL UNIVERSITY LETI   (Russian Federation)

^c UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; FORMAL LOGIC; LOGIC CIRCUITS; LOGIC DESIGN; MICROPROCESSOR CHIPS; PETRI NETS; PROGRAM PROCESSORS;

ASYNCHRONOUS PROCESSORS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031095038     PISSN: 02721732     EISSN: None     Source Type: Journal    
DOI: 10.1109/40.592316     Document Type: Article

References (14)

1. L.Y. Rosenblum and A.V. Yakovlev, "Signal Graphs: From Self-Timed to Timed Ones, " Proc. Int'l Workshop Timed Petri Nets, IEEE Computer Society Press, Los Alamitos, Calif., 1985, pp. 199-207.
2. S.B. Furber et al., "A Micropipelined ARM," Proc VLSI 93, North Holland, Amsterdam, 1993, pp. 4.4.1 -5.4.10.
3. A.J. Martin, "Collected Papers on Asynchronous VLSI Design," Tech. Report CS-TR-90-09, Calif, Inst. of Technology, Pasadena, 1990.
4. A.L. Davis, "Mayfly: A General-Purpose, Scaleable, Parallel Processing Architecture," Lisp and Symbolic Computation, Vol. 5(1/2), May 1992, pp. 7-47.
5. T. Nanya et al., "TITAC: Design of a Quasi-Delay-Insensitive Microprocessor," IEEE Design & Test of Computers, Vol. 11, No. 2, Summer 1994, pp. 50-63.
6. J.B. Dennis, "Modular, Asynchronous Control Structures for a High-Performance Processor," Proc. Project ACM Conf. Concurrent Systems and Parallel Computation, ACM, New York, June 1970, pp. 55-92.
7. W.C. Holton, "The Large-Scale Integration of Microelectronic Circuits," Scientific American, 1977, pp. 82-94.
8. T. Murata, "Petri Nets: Properties, Analysis and Application," Proc IEEE, Vol. 77, No. 4, Apr. 1989, pp. 541-574.
9. E. Pastor et al., "Petri Net Analysis Using Boolean Manipulation," Proc. Int'l Conf. Applications and Theory of Petri Nets, LNCS 815, Springer-Verlag, Berlin, 1994, pp. 416-435.
10. A. Valmari, "Stubborn Sets for Reduced State Space Generation," Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, G. Rozenberg, ed., Springer-Verlag, Berlin, 1991, pp. 491-515.
11. K.L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Boston, 1993.
12. S.S. Patil, "Cellular Arrays for Asynchronous Control," Proc. ACM Seventh Ann. Workshop Microprogramming, 1974, pp. 178-185; also CSG Tech. Memo 122, Project MAC, Mass. Inst. of Technology, Cambridge, Apr. 1975.
13. Ultra San User's Manual, Center for Reliable and High-Performance Computing, Univ. of Illinois at Urbana-Champaign, 1994.
14. I.E. Sutherland, "Micropipelines," Comm. ACM, Vol. 32, No. 6, 1989, pp. 720-738.