Computer Aided Design of Systems at Functional Level

Existing CAD tools are largely used to examine and verify the behaviour of circuits already designed by engineers. This paper describes high-level behavioural modelling facilities developed to simulate algorithmic state machines and digital signal processing systems and so confirm their behaviour before detailed circuit design work is undertaken.