Title :
Safe sequencing of concurrent events in behavioural simulation
Author :
Curatelli, F. ; Bisio, G.M. ; Di Zitti, E.
Author_Institution :
Genova Univ., Italy
fDate :
12/1/1990 12:00:00 AM
Abstract :
A functional/behavioural simulator is described, in which the system to be simulated is modelled by defining its hierarchy and by specifying the descriptive function of the behaviour of its components. The functional model, based on the definition of strict and nonstrict functions, makes it possible to introduce and formally justify a simulation mechanism for safe sequencing of concurrent events in the presence of zero-delay components. Static and dynamic component instances are allowed, and the system can be simulated at different hierarchical levels, specified by the user for each component. The simulation algorithm is based on an event-driven mechanism and is implemented in the language C
Keywords :
circuit CAD; circuit analysis computing; hierarchical systems; behavioural simulation; concurrent events; dynamic component; event-driven mechanism; functional model; functional/behavioural simulator; hierarchical levels; language C; nonstrict functions; safe sequencing; simulation algorithm; simulation mechanism; static components; strict functions; zero-delay components;
Journal_Title :
Circuits, Devices and Systems, IEE Proceedings G
