Compiled Symbolic Simulation for SystemC

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35) November 7-10 Austin United States 2016.


Ensuring the correctness of SystemC virtual prototypes is indispensable. For such models, existing symbolic simulation approaches are based on interpreting their behavior. In this paper we propose a major enhancement called Compiled Symbolic Simulation (CSS). For more scalable state space exploration, CSS augments the DUV to integrate the symbolic execution engine and the Partial Order Reduction based scheduler. Then, a standard C++ compiler is used to generate a native binary, whose execution performs exhaustive verification of the DUV. An extensive experimental evaluation demonstrates the potential of our approach.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence