Abstract
SystemC is a system-level modeling language and offers support for concurrency and arbitrary-width bit-vector arithmetic. The existing static analyzers for SystemC consider only small fragments of the language. We present Scoot, a model extractor for SystemC based on a C++ frontend. The models generated by Scoot can serve multiple purposes, ranging from verification and simulation to synthesis. Exemplarily, we report results indicating that our tool can be used to improve the performance of dynamic execution up to a factor of five.
Supported by ETH research grant TH-21/05-1 and Foundation Tasso, Switzerland.
Chapter PDF
References
Castillo, J., Huerta, P., Martinez, J.I.: An open-source tool for SystemC to Verilog automatic translation. In: SPL, vol. 37, pp. 53–58 (2007)
Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: SATABS: SAT-based predicate abstraction for ANSI-C. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 570–574. Springer, Heidelberg (2005)
Kostaras, N., Vergos, H.T.: SyCE: An integrated environment for system design in SystemC. In: RSP, pp. 258–260. IEEE, Los Alamitos (2005)
Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: DAC, pp. 368–371. ACM, New York (2003)
Kroening, D., Sharygina, N.: Formal verification of SystemC by automatic hardware/software partitioning. In: MEMOCODE, pp. 101–110 (2005)
Pérez, D.G., Mouchard, G., Temam, O.: A new optimized implemention of the SystemC engine using acyclic scheduling. In: DATE, pp. 552–557. IEEE, Los Alamitos (2004)
Qadeer, S., Wu, D.: KISS: keep it simple and sequential. In: PLDI, pp. 14–24. ACM, New York (2004)
Savoiu, N., Sandeep, S., Rajesh, G.: Improving SystemC simulation through Petri net reductions. In: MEMOCODE, pp. 131–140 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blanc, N., Kroening, D., Sharygina, N. (2008). Scoot: A Tool for the Analysis of SystemC Models. In: Ramakrishnan, C.R., Rehof, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2008. Lecture Notes in Computer Science, vol 4963. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78800-3_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-78800-3_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78799-0
Online ISBN: 978-3-540-78800-3
eBook Packages: Computer ScienceComputer Science (R0)