GDBWave - A Post-Simulation Waveform-Based RISC-V GDB Debugging ServerIntroduction What is a GDB Server, and how to create one? GDBWave in a Nutshell The FST Waveform Format GDBWave Internals - Flowchart GDBWave Internals - Waveform Data Extraction GDBWave Internals - Being a GDB server Running GDBWave on an example VexRiscv design with Icarus Verilog A Major Unresolved Issue Potential Improvements GDBWave’s Future? References Footnotes Introduction A small soft cor
CXXRTL, a Yosys Simulation Backend
Getting Started with ECP5 FPGAs on the Colorlight i5 FPGA Development Board
Under the hood of Formal Verification
