DocumentCode
908247
Title
Safe sequencing of concurrent events in behavioural simulation
Author
Curatelli, F. ; Bisio, G.M. ; Di Zitti, E.
Author_Institution
Genova Univ., Italy
Volume
137
Issue
6
fYear
1990
fDate
12/1/1990 12:00:00 AM
Firstpage
451
Lastpage
458
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;
fLanguage
English
Journal_Title
Circuits, Devices and Systems, IEE Proceedings G
Publisher
iet
ISSN
0956-3768
Type
jour
Filename
217120
Link To Document