GSIM: A Graph-based RTL Simulator

Prerequisites

Install Verilator, GMP.

Usage

Generate high-firrtl from scala

$ mill -i __.test.runMain $(TOP_NAME) -td $(BUILD_DIR) -X high

Generate high-firrtl from chirrtl (using firrtl)

$./firrtl/utils/bin/firrtl -i SimTop.fir -X high -o SimTop.hi.fir

Compile high-firttl to C++

$ make compile MODE=0

Run the C++ code for simulation

$ make difftest MODE=0

• MODE=0 - run GSIM (default)
• MODE=1 - run verilator
• MODE=2 - run GSIM and verilator concurrently for difftest

See C++ harness example to know how it interacts with the emitted C++ code.