Safe sequencing of concurrent events in behavioural simulation
作者:
F.Curatelli,
G.M.Bisio,
E.Di Zitti,
期刊:
IEE Proceedings G (Circuits, Devices and Systems)
(IET Available online 1990)
卷期:
Volume 137,
issue 6
页码: 451-458
年代: 1990
DOI:10.1049/ip-g-2.1990.0068
出版商: IEE
数据来源: IET
摘要:
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 ofstrictandnonstrict 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 has been implemented in the language C.
点击下载:
PDF
(1091KB)
返 回