SystemC
ToolSystemC is a C++ class library with an event-driven simulation kernel used for modeling designs at multiple abstraction levels. In the provided evidence, it is used with TLM to implement a co-simulation testbench for processor verification between an RTL core and an ISS reference model.
First seen 5/25/2026
Last seen 7/17/2026
Evidence 24 chunks
Wiki v1
WIKI
Overview
SystemC, in combination with TLM, is described as an industry-proven modeling standard for building designs at different levels of abstraction. It is not a new programming language; it is a C++ class library that includes an event-driven simulation kernel. [SystemC nature]
Modeling model
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
11 connectionsSystemC is the widely accepted ESL language for Electronic System Level Design.
CRAVE is designed for SystemC models as a verification environment.
The experiments were conducted in a SystemC-based verification environment.
Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← uses 90% 2e
The experiments used SystemC simulation with a time limit.
SCV is the existing CRV library for SystemC models.
Transaction Level Modeling is available within SystemC as a modeling abstraction.
The SCV library is built on top of SystemC as a C++ class library.
The paper targets CRV for SystemC.
ILAtor generates ILEMs in SystemC format
SystemC is used to create formal models for model checking verification.
The SCV library layers on top of SystemC and adds verification capabilities to it.