xinhecuican/difftest

Co-simulation framework for Xiangshan

Difftest Submodule

Difftest (差分测试) co-sim framework

Usage

1. Init this submodule in your design, add it to dependency list.
2. Add difftest to your design.
3. Generate verilog files for simulation.
4. Assign SIM_TOP, DESIGN_DIR for difftest/Makefile
5. cd difftest and make emu, then start simulating & debugging!

To use difftest in XiangShan project:

cd XiangShan
make init
# cd difftest
make emu

API

Difftest functions:

• DifftestArchEvent (essential)
• DifftestInstrCommit (essential)
• DifftestTrapEvent (essential)
• DifftestCSRState (essential)
• DifftestArchIntRegState (essential)
• DifftestArchFpRegState
• DifftestSbufferEvent
• DifftestStoreEvent
• DifftestLoadEvent
• DifftestAtomicEvent
• DifftestPtwEvent

Simulation top:

• LogCtrlIO
• PerfInfoIO
• UARTIO

Simulation memory:

• RAMHelper (essential)

To use difftest, include all these modules / simtopIO in your design.

Further reference

• Difftest: detailed usage (Chinese)
• Example: difftest in XiangShan project (Chinese)
• Example: difftest in NutShell project (Chinese)
• SMP-Difftest 支持多处理器的差分测试方法