Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The signal description language SIBA

 
: Meyer zu Bexten, E.; Moraga, C.

:

Pichler, F.; Moreno Diaz, R.:
Computer aided systems theory. EUROCAST '91. A selection of papers
Berlin: Springer, 1992 (Lecture Notes in Computer Science 585)
ISBN: 0-387-55354-1
ISSN: 0302-9743
S.460-475
International Workshop on Computer Aided Systems Theory <2, 1991, Krems>
Englisch
Konferenzbeitrag
Fraunhofer IMS ()
formal verification; formale Verifikation; signal representation language; Signalbeschreibungssprache; Signalerkennung; Signalverarbeitung

Abstract
CASSY (computer aided simulation system) enables very fast concept verification of signal processing systems, their architectures and algorithms. Basically, stimuli and resulting signals are represented in terms of formal specifications, like bandwitdth, dynamic range, SNR or waveforms. The signals are not represented by their amplitude values over time or frequency, but by a formal description of their waveforms using the high level signal representation language SIBA. In contrary to the time consuming processing of e.g. sample streams using conventional simulators, CASSY's formal system verification efficiently analyses the modifications of the signal descriptions due to the component/system behaviour.

: http://publica.fraunhofer.de/dokumente/PX-33466.html