Using ITL and Tempura for large scale specification and simulation.

Date
1996
Authors
Cau, A. (Antonio)
Zedan, Hussein
Coleman, Nick
Moszkowski, B. C.
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
IEEE
Peer reviewed
Abstract
ITL and Tempura are used for respectively the formal specification and simulation of a large scale system, namely the general purpose multi-threaded dataflow processor EP/3. This paper shows that this processor can be specified concisely within ITL and simulated with Tempura. But it also discusses some problems encountered during the specification and simulation, and indicates what should be added to solve those problems.
Description
Keywords
EPSRC
Citation
Cau, Antonio, Zedan, Hussein, Coleman, Nick and Moszkowski, Ben, Using ITL and Tempura for large scale specification and simulation. In: Proceedings of the fourth Euromicro Workshop on Parallel and Distributed Processing - PDP '96 -, January 24-26, 1996, Braga, Portugal. Los Alamitos, Calif.: IEEE Computer Society Press, 1996, pp 493-500
Research Institute