By Topic

Design of complex systems from behavioural descriptions using formal methods

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Meyer zu Bexten, E. ; Dept. of Comput. Sci., Dortmund Univ., Germany ; Moraga, C.

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

Published in:

Synthesis and Optimisation of Logic Systems, IEE Colloquium on

Date of Conference:

14 Mar 1994