Title :
Concurrent hardware/software coverification with Java threads
Author_Institution :
ESTO/ENSAO, Univ. of Mohammed, Morocco
Abstract :
We present 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 the case of untimed and timed coverification. An illustrative application on the broadcasting protocol of cache coherence reveals promising results.
Keywords :
Java; cache storage; formal specification; formal verification; hardware-software codesign; multi-threading; scheduling; Java threads; Round-Robin technique; behavioral level; broadcasting protocol; cache coherence; concurrent hardware software co-verification; equal priorities; execution path; simulation; specification; thread scheduling; timed coverification; untimed coverification; Application software; Broadcasting; Coherence; Concurrent computing; Hardware; Java; Microelectronics; Protocols; Scheduling; Yarn;
Conference_Titel :
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN :
0-7695-1730-7
DOI :
10.1109/PCEE.2002.1115211