Abstract
CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.
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
Unger, S.H.: Asynchronous Sequential Switching Circuits. R.E. Krieger, reprint 1983 (original edition 1969)
Yun, K.Y.: Synthesis of Asynchronous Controllers for Heterogeneous Systems. PhD thesis, Stanford University (1994)
Cortadella, J.: Petrify: A tutorial for the designer of asynchronous circuits. Available as part of the petrify tool package from: http://www.lsi.upc.es/~jordic/petrify.
Beister, J., Eckstein, G., Wollowski, R.: From STG to Extended-Burst-Mode Machines. In: Proc. of the 5th Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, Barcelona (April 1999). IEEE Computer Society Press.
Wollowski, R., Beister, J.: Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour. In: Yakovlev, A., Gomes, L., Lavagno, L. (eds.): Hardware Design and Petri Nets. Kluwer Academic Publishers, Boston (2000) 3–32
Tiedemann, R.: Dokumentation PED Version 4.3 (Benutzerleitfaden). Technical Report, Cottbus Technical University (June 1997)
Eckstein, G.: Logischer Entwurf hasardtoleranter asynchroner Schaltwerksverbünde (Logical design of hazard-tolerant communicating asynchronous circuits). Submitted dissertation, University of Kaiserslautern (to appear in 2000)
Kondratyev, A., Kishinevsky, M., Yakovlev, A.: Hazard-free implementation of speed-independent circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 17 (September 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beister, J., Eckstein, G., Wollowski, R. (2000). CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. ICATPN 2000. Lecture Notes in Computer Science, vol 1825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44988-4_25
Download citation
DOI: https://doi.org/10.1007/3-540-44988-4_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67693-5
Online ISBN: 978-3-540-44988-1
eBook Packages: Springer Book Archive