Difftest · Waveform
NEMU difftest and RTL debug
Reference-model comparison using NEMU, Verilator, FST/GTKWave, AM tests, riscv-tests, custom programs, and trace-based debugging. No coverage or pass-rate metric is claimed.
Digital IC · RTL · SoC · Verification
An ongoing personal engineering project built within the YSYX training ecosystem. I implement the CPU and major project-specific hardware while separating upstream frameworks and third-party IP.
The CPU follows the RV32E ISA/ABI and uses IF, ID, EX, LSU, and WB functional stages. Valid-ready handshakes allow variable-latency memory transactions.

Difftest · Waveform
Reference-model comparison using NEMU, Verilator, FST/GTKWave, AM tests, riscv-tests, custom programs, and trace-based debugging. No coverage or pass-rate metric is claimed.
NEMU, Abstract Machine, the official ysyxSoC interconnect, Rocket-Chip Diplomacy, base memory controllers, and the PS/2 receiver include upstream or third-party work. Claims are limited to traceable implementation, modification, adaptation, integration, and debugging; no hardware M extension, cache/MMU, FPGA validation, complete ISA coverage, performance, area, or frequency result is claimed.