Options
1991
Conference Paper
Titel
CASSY Werkzeuge zur formalen Darstellung und Verifikation von Signalverarbeitungssystemen
Abstract
Das Programmpaket CASSY ermöglicht eine schnelle, interaktive Verifikation von Signalverarbeitungssystemen (d.h. deren Architekturen und Algorithmen), basierend auf der formalen Darstellung und Spezifikation von Signalen durch z.B. deren Wellenform, Bandbreite, Dynamik und Signalrauschabstand. Die Systemmodellierung wird durch eine erweiterbare Bibliothek mit diversen Grundkomponenten unterstützt. Während herkömmliche Simulatoren mit großem Zeitaufwand z.B. die Abtastfolgen berechnen, analysiert CASSY für die Konzeptverifikation formal die Veränderung der Signale durch das Komponenten- oder Systemverhalten.
Language
German