Abstract
Design automation (DA) has steadily contributed to improvements witnessed in the system design process. Initial applications were to address low level design concerns such as transistor layout; however the focus of tools has slowly progressed up the design abstraction scale. The current state-of-the-art provides solutions for synthesis issues at the register-transfer (high level) and lower levels. While DA has helped in reducing design timelines and re-design, a major source of design difficulties are just recently being addressed and promise to be the next wave in DA applicability. The problems arise within the architectural (or system) level of abstraction very early in the design cycle. They may be classified as those related to design specification and design capture. The former is a complex problem area and significant work has been accomplished in attempting to formalize specifications for modelling [1]. The latter, a relatively new research area that attempts to bridge the design process gap between specification and design, is the focus of this paper.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
IEEE Software Magazine, Special issue on formal methods, September 1990.
C.G. Bell and A.Newell, Computer Structures:Readings and examples. New York, NY, McGraw Hill, 1971.
K.P. Birman and T.A. Joseph, “Reliable Communication in the Presence of Failures”, ACM Transactions on Computer Systems, Vol. 5, No. 1, February 1987, Pages 47–76.
B.W. Boehm, Software Engineering Economics, Prentice Hall, N.Y., New York, 1981.
C.J. Koomen, The Design of Communicating Systems: A System Engineering Approach, Kluwer Academic Publishers, Boston, 1991.
M.C. McFarland, A.C. Parker and R. Camposano, “The High-Level Synthesis of Digital Systems”, Proceedings of the IEEE, Vol. 78, No. 2, February 1990, Pages 301–318.
B. Moszowski, “A Temporal Logic for Multilevel Reasoning about Hardware”, IEEE Computer magazine, February 1985, Pages 10–19.
F. J. Ramming, “System Level Design”, Fundamentals and Standards in Hardware Description Languages — NATO ASI series, Kluwer Academic Publishers, 1993, Netherlands, Pages 109–151.
W. Reisig, “Petri-Nets — An Introduction”, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, NY, 1982.
O. Tanir, V.K. Agarwal and P.C.P. Bhatt, “Specification driven architectural design environment”, IEEE Computer, Vol. 28, No. 6, June 1995, Pages 26–35.
O. Tanir and S. Sevinc, “Defining the Requirements for a Standard Simulation Environment”, IEEE Computer, Vol. 27 No. 2, February 1994, Pages 28–34.
O. Tanir, V.K. Agarwal and P.C.P. Bhatt, “The Design of a Library Support System for a Telecommunication System Synthesis Environment”, Proc. of the fourth International Workshop on Rapid System Proto-typing, Research Triangle Park, N.Carolina, June 28–30, 1993, pp. 54–67.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tanir, O., Agarwal, V.K., Bhatt, P.C.P. (1996). DASE: An environment for system level telecommunication design exploration and modelling. In: Klir, G.J., Ören, T.I. (eds) Computer Aided Systems Theory — CAST '94. Lecture Notes in Computer Science, vol 1105. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61478-8_85
Download citation
DOI: https://doi.org/10.1007/3-540-61478-8_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61478-4
Online ISBN: 978-3-540-68600-2
eBook Packages: Springer Book Archive