Automatic aspectization of systemC

Deian Tabakov, Moshe Y. Vardi
<span title="">2012</span> <i title="ACM Press"> Proceedings of the 2012 workshop on Modularity in Systems Software - MISS &#39;12 </i> &nbsp;
A successful monitoring framework for SystemC requires access to internal variables of modules and channels, and the ability to trace the execution of threads and methods. We propose a framework for automatically instrumenting user code and exposing its state and syntax via automatically generated Aspect-Oriented Programming code and direct instrumentation. This allows monitoring the execution with a fine-grained temporal resolution. Our tool, CHIMP, allows the users to declare specification
more &raquo; ... mitives referring to the values of internal variables, the values of parameters passed to function calls, and function return values. Tracing execution of processes is enabled by allowing statements' execution or function calls to be used as atomic propositions. The correct behavior of the model can then be specified by forming temporal formulas and clock expressions using these primitives, without requiring manual instrumentation of the user code.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2162024.2162029">doi:10.1145/2162024.2162029</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iyw6crkxsze5rk4snb74ptwyiq">fatcat:iyw6crkxsze5rk4snb74ptwyiq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813014746/https://www.cs.rice.edu/~vardi/papers/miss12_full_paper.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/8a/e8/8ae8dfa8d7617d38ffac1bdb3d224715f0fa7aad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2162024.2162029"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>