A high level interactive design environment for complex systems

CASSY 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. For system modeling an expandable library offers a variety of basic components. 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. The whole package is embedded in a graphical shell.