Scoot: A Tool for the Analysis of SystemC Models

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.

• BibTex

@inproceedings { BlancKS08,
	title = {Scoot: A Tool for the Analysis of SystemC Models},
	booktitle = {TACAS},
	year = {2008},
	pages = {467-470},
	author = {Nicolas Blanc and  Daniel Kroening and  Natasha Sharygina}
}