DocumentCode :
2603542
Title :
Concurrent hardware/software coverification with Java threads
Author :
Azizi, Mostafa
Author_Institution :
ESTO/ENSAO, Univ. of Mohammed, Morocco
fYear :
2002
fDate :
2002
Firstpage :
95
Lastpage :
98
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on
Print_ISBN :
0-7695-1730-7
Type :
conf
DOI :
10.1109/PCEE.2002.1115211
Filename :
1115211
Link To Document :
بازگشت