DocumentCode :
474573
Title :
Predictive runtime verification of multi-processor SoCs in SystemC
Author :
Sen, Alper ; Ogale, Vinit ; Abadir, Magdy S.
Author_Institution :
Freescale Semicond. Inc., Austin, TX
fYear :
2008
fDate :
8-13 June 2008
Firstpage :
948
Lastpage :
953
Abstract :
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulation- based verification techniques remove the concurrency information by arbitrary schedulings. We present a novel simulation-based technique for SystemC that preserves and exploits concurrency information. Our approach is unique in that we can detect potential errors in an observed execution, even if the error does not actually occur in that execution. We identify synchronization constructs in SystemC and develop predictive techniques for temporal assertion verification and deadlock detection. Our automated potential deadlock detection algorithm works on SystemC programs with semaphores, locks, wait and notify synchronizations and has less overhead compared with assertion verification. We patched SystemC kernel to implement our solution and obtained favorable results on industrial designs.
Keywords :
C language; operating system kernels; program verification; system-on-chip; SystemC kernel; SystemC program; arbitrary schedulings; concurrency information; deadlock detection; multiprocessor SoC; predictive runtime verification; synchronization; temporal assertion verification; Concurrent computing; Costs; Detection algorithms; Hardware design languages; Job shop scheduling; Kernel; Permission; Runtime; System recovery; System-level design; Assertion; Deadlock; ESL; Predictive Verification; SystemC;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2008. DAC 2008. 45th ACM/IEEE
Conference_Location :
Anaheim, CA
ISSN :
0738-100X
Print_ISBN :
978-1-60558-115-6
Type :
conf
Filename :
4555956
Link To Document :
بازگشت