Abstract
As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep submicron process features and design productivity call for new approaches in the area of behavioural models. This lecture focuses on some of recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of a good net-based ‘backend’ in the asynchronous design flow and performance-oriented mapping of nets to circuits.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Allan, et. al., 2001 Technology Roadmap for Semiconductors, Computer, January 2002, pp. 42–53.
J. Sparsø and S. Furber, Eds., Principles of Asynchronous Circuit Design: A Systems Perspective. Kluwer Academic Publishers, 2001.
S. Furber, Industrial take-up of asynchronous design, Keynote talk at the Second ACiD-WG Workshop, Munich, Jan. 2002 (http://www.scism.sbu.ac.uk/ccsv/ACiD-WG/Workshop2FP5/Programme/).
D. Ferguson and M. Hagedorn, The Application of NULL Convention Logic to Microcontroller/Microconverter Product, Second ACiD-WG Workshop, Munich, Jan. 2002 (http://www.scism.sbu.ac.uk/ccsv/ACiD-WG/Workshop2FP5/Programme/).
K. van Berkel. Handshake Circuits: an Asynchronous Architecture for VLSI Programming, volume 5 of International Series on Parallel Computation. Cambridge University Press, 1993.
I. Blunno and L. Lavagno. Automated synthesis of micro-pipelines from behavioral Verilog HDL, Proc. of IEEE Symp. on Adv. Res. in A sync. Cir. and Syst. (ASYNC 2000), IEEE CS Press, pp. 84–92.
M. A. Peña and J. Cortadella, Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits, Proc. of IEEE Symp. on Adv. Res. in Async. Cir. and Syst. (ASYNC’96), IEEE CS Press, pp. 222–232.
E. Best and B. Grahlmann. PEP-more than a Petri Net Tool. Proc. of Tools and Algorithms for the Construction and Analysis of Systems (TACAS’96), Springer-Verlag, Lecture Notes in Computer Science 1055, Springer-Verlag (1996) 397–401.
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Logic Synthesis of Asynchronous Controllers and Interfaces, Springer-Verlag, 2002, ISBN 3-540-43152-7.
Petrify, Version 4.0. (see http://www.lsi.upc.es/~jordic/petrify/petrify-4.0/).
T. Chelcea, A. Bardsley, D. Edwards and S. M. Nowick. A burst-mode oriented back-end for the Balsa synthesis system, Proc. of Design, Automation and Test in Europe (DATE’02), IEEE CS Press, pp. 330–337.
S. S. Patil and J. B. Dennis. The description and realization of digital systems. In Proceedings of the IEEE COMPCON, pages 223–226, 1972.
R. David. Modular design of asynchronous circuits defined by graphs. IEEE Transactions on Computers, 26(8):727–737, August 1977.
L. A. Hollaar. Direct implementation of asynchronous control units. IEEE Transactions on Computers, C-31(12):1133–1141, December 1982.
V. I. Varshavsky and V. B. Marakhovsky. Asynchronous control device design by net model behavior simulation. In J. Billington and W. Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of Lecture Notes in Computer Science, pages 497–515. Springer-Verlag, June 1996.
A. Yakovlev and A. Koelmans. Petri nets and Digital Hardware Design Lectures on Petri Nets II: Applications. Advances in Petri Nets, Lecture Notes in Computer Science, vol. 1492, Springer-Verlag, 1998, pp. 154–236.
A. Bystrov and A. Yakovlev. Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment, Proc. ASYNC’02, Manchester, April 2002.
D. Shang, F. Xia and A. Yakovlev. Asynchronous Circuit Synthesis via Direct Translation, Proc. Int. Symp. on Cir. and Syst. (ISCAS’02), Scottsdale, Arizona, May 2002.
A. Yakovlev, V. Varshavsky, V. Marakhovsky and A. Semenov. Designing an asynchronous pipeline token ring interface, Proc. of 2nd Working Conference on Asynchronous Design Methdologies, London, May 1995, IEEE Comp. Society Press, N. Y., 1995, pp. 32–41.
A. Yakovlev, S. Furber and R. Krenz, Design, Analysis and Implementation of a Self-timed Duplex Communication System, CS-TR-761, Dept. Computing Science, Univ. of Newcastle upon Tyne, March 2002. (http://www.cs.ncl.ac.uk/people/alex.yakovlev/home.informal/some_papers/duplex-TR.ps)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yakovlev, A. (2002). Is the Die Cast for the Token Game?. In: Esparza, J., Lakos, C. (eds) Application and Theory of Petri Nets 2002. ICATPN 2002. Lecture Notes in Computer Science, vol 2360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48068-4_6
Download citation
DOI: https://doi.org/10.1007/3-540-48068-4_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43787-1
Online ISBN: 978-3-540-48068-6
eBook Packages: Springer Book Archive