Sciweavers

Share
DAC
2008
ACM

Predictive runtime verification of multi-processor SoCs in SystemC

9 years 3 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased 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. Categories and Subject Descriptors J.6 [COMPUTER-AIDED ENGINEERING]: Computeraided d...
Alper Sen, Vinit Ogale, Magdy S. Abadir
Added 12 Nov 2009
Updated 12 Nov 2009
Type Conference
Year 2008
Where DAC
Authors Alper Sen, Vinit Ogale, Magdy S. Abadir
Comments (0)
books