Design of complex systems from behavioural descriptions using formal methods

The computer aided simulation system CASSY is a new CAD tool that supports particularly the early design stages of mixed digital and analog signal processing systems from behavioural descriptions in an interactive way by fast simulation. Existing simulation systems mostly work on a numerical basis, thus requiring much computing time. In contrast, the CASSY System operates at a high level of abstraction using a symbolic description of signals and architectures as well as symbolic methods for their simulation. The new system accordingly is very fast and supports a rapid design concept verification.<
>