Abstract
CASSY is a system for formal representation and verification of architecture proposals at the system level. The designer describes the analog and digital signal in either the time or frequency domain using the high-level representation language SIBA. The system components are specified hierarchically with the high-level language KOBA. Then HISIM performs a symbolic and formal simulation of the specified system, avoiding point to point processing of e.g. sample streams.
The information in SIBA and KOBA data bases can be translated into SPICE or BONSAI [10] for detailed System module analysis. As a whole CASSY provides powerful tools for the very fast evaluation of alternative architectures or algorithms and may be included in a multilevel design system.
Preview
Unable to display preview. Download preview PDF.
References
D. D. Gajski: The Structure of a Silicon Compiler, Proceedings IEEE ICCD, pp. 272–276, 1987
David R. Coelho: The VHDL Handbook, Kluwer Academic Publishers, 1989
DACAPO III, DOSIS GmbH, Software für integrierte Schaltungen, Emil-Figge-Str. 83, 4600 Dortmund 50, FRG, April 1989
J. Smith et al.: Definition of the Syntax and Semantics of the Modelling and Design Language MoDL, in: The Integrated Circuit Design Book, (P. Dewilde, Ed.), Delft University Press, Delft, 1986
E. Meyer zu Bexten, J. Büddefeld und C. Moraga: Die Signalbeschreibungssprache SIBA eingebunden in eine ergonomische Benutzeroberfläche, Workshop, 2. Dresdner Informatiktage, 04. — 08.02.1991 in Dresden, Herausgeber: Technische Universität Dresden, Fakultät Informatik, S. 14–21, 1991
Erdmuthe Meyer zu Bexten, C. Moraga: The Signal Description Language SIBA, in this book, Springer Verlag, 1991
E. Meyer zu Bexten, J. Büddefeld, B. J. Hosticka und C. Moraga: CASSY: Werkzeuge zur formalen Darstellung und Verifikation von Signalverarbeitungssystemen, GME-Fachbericht 8, Mikroelektronik, 04.–06.03.91 in Baden-Baden, VDE-Verlag, S. 241–246, 1991
I. Münster et al.: CMOS Analog Front-End for Ripple-Control Receivers, 16th ESSCIRC, Grenoble 1990, pp. 209–212
Peer Griebel und Manfred Pöpping: Motifation — Ein Programm zur Unterstützung der Programmierung graphischer Benutzeroberflächen unter OSF/Motif, Diplomarbeit, Universität Dortmund, Fachbereich Informatik, 4600 Dortmund 50, FRG, 1990.
BONSAI: Ein Programm zur Analyse und Optimierung von integrierten Schaltungen, Version 1/2, Fraunhofer-Institut (IMS), Duisburg, 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meyer zu Bexten, E., Moraga, C., Büddefeld, J. (1992). A high level interactive design environment for complex systems. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021034
Download citation
DOI: https://doi.org/10.1007/BFb0021034
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55354-0
Online ISBN: 978-3-540-47034-2
eBook Packages: Springer Book Archive