Browsing by Author "Coleman, Nick"

Now showing items 1-2 of 2

Proving the correctness of the interlock mechanism in processor design.

Li, Xiaoshan; Cau, A. (Antonio); Moszkowski, B. C.; Coleman, Nick; Zedan, Hussein (Book chapter)

In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ...
Using ITL and Tempura for large scale specification and simulation.

Cau, A. (Antonio); Zedan, Hussein; Coleman, Nick; Moszkowski, B. C. (Book chapter)

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 ...