A system-level modelling process consisting of a functional specification and timing information. A behavioural model consists of a high-level description of a device or component expressed at a relatively high level of abstraction. It uses underlying mathematical equations to represent the functional behaviour of the component.