The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 95
Mostafa Azizi , University of Mohammed I
ABSTRACT
We present in this paper how Java threads are used to do concurrent coverification. The threads are scheduled with respect to the order of their priorities in the case of different priorities and by using the Round-Robin technique in the case of equal priorities. The system under coverification we are interested in consists eventually of a number of hardware and software modules described by threads at the behavioral level. The coverification process follows the execution path of the global modeled system and it verifies some specification properties during the simulation. We also discuss in this paper the case of untimed and timed coverification. An illustrative application on broadcasting protocol of cache coherence reveals promising results.
INDEX TERMS
null
CITATION
Mostafa Azizi, "Concurrent Hardware/Software Coverification with Java Threads", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 95, 2002, doi:10.1109/PCEE.2002.1115211
84 ms
(Ver 3.3 (11022016))