systemc-verification.org

ESL verification tools & topics

SystemC Intermediate Verification Language and Symbolic Simulator SISSI

Description

SystemC Intermediate Verification Language (IVL) enables the independent development of front-ends and back-ends for SystemC formal verification. It is compact, intuitive, readable but expressive enough to capture the behavior of SystemC designs.

SISSI (SystemC IVL Symbolic Simulator) is a back-end for the IVL. It combines symbolic execution (full input coverage) and Partial Order Reduction (efficient pruning of search space). SISSI is able to find assertion violations as well as general errors such as division by zero or memory access violation in a given IVL description.

Tools

The grammar and a parser for the IVL and a set of benchmarks are available to download: systemc-ivl-20170630.tar.gz. Older archives: systemc-ivl-20130528.tar.gz.

Notification of updates

Please consider subscribing to our mailing list.

Documentation & References

For the technical background on the IVL and the symbolic simulator SISSI we refer to the following paper:

For recent advancements based on SISSI:

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project EffektiV Project SANITAS