A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit <a rel="external noopener" href="http://www.cmpe.boun.edu.tr:80/~sen/publications/dac08.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Predictive runtime verification of multi-processor SoCs in SystemC
<span title="">2008</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5vn6yyeefbbxtoo3uhwxwjwtme" style="color: black;">Proceedings of the 45th annual conference on Design automation - DAC '08</a>
</i>
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391708">doi:10.1145/1391469.1391708</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dac/SenOA08.html">dblp:conf/dac/SenOA08</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdkyxzioondk7g35gy4nu6magu">fatcat:kdkyxzioondk7g35gy4nu6magu</a>
</span>
more »
... structs 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.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121004024846/http://www.cmpe.boun.edu.tr:80/~sen/publications/dac08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/b7/adb78b2da66acaf13adf1d33cafae3dbac8e54fc.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1391469.1391708">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>