A Tool for the Static Analysis of SystemC



SCOOT statically analyses systems described using SystemC and ex­tracts models that can be passed to verification tools such as SatAbs or CBMC. After extraction, it also offers the possibility to re-synthesize C++ code that does not rely on the SystemC library and that can be compiled with g++ to produce a very fast simulator.

The emphasis of SCOOT is the scheduling of the SystemC threads. The SystemC standard permits the simulator to implement a deterministic scheduling policy, which often hides concurrency flaws. SCOOT can perform a race analysis using model checking techniques. It computes commuativity predicates of the processes using the model checking engines of Satabs and CBMC. SCOOT produces then a simulator for the systematic exploration of the behaviors of the system.

Contact Nicolas Blanc with questions about SCOOT or feedback.

  • scoot-nov-26-2009.tgz
    This file contains a compiled version of SCOOT for Linux and a collection of benchmarks.


Download the latest tarball of SCOOT. Extract its content, and edit the file ''. Adapt the settings to your environment. The original SystemC library is used for com­parison only, SCOOT works without it. The SystemC library is available from

Contents of the Package

Simulation Speedup

The next figure quantifies the simulation speedup obtained using SCOOT compared to the original SystemC simulator on Oct. 17 2009. The experiments were conducted on a 3Ghz Linux machine with g++ 4.2.4.


Example: 128-bits AES

Enter the subdirectory that contains the benchmark:
cd examples/aes128lowarea

The benchmark encrypts and decrypts 128-bits numbers for 5*106 time units. The correctness of the algorithm is verified via an assertion that checks if the decryption yields the original value.

The following command builds the original SystemC simulator:
make systemc_sim

Similarly, the next command creates the SCOOT simulator:
make scoot_sim

Finally, these last commands run the binaries and print execution-time statistics:
time ./systemc_sim
time ./scoot_sim

The next screenshot shows the execution time of both the original SystemC simulator and the Scoot simulator. The experiment was conducted on a Linux machine equipped with a Intel Pentium 4 processor running at 3GHz.

AES-128 Benchmark

Previous Versions

Publications and Presentations