A high-performance 4-state RTL simulator with native VPI/cocotb integration. Free for everyone.
curl -fsSL https://ryusim.seiraiyu.com/install.sh | bash
Linux only. Windows users: use WSL2.
Full X/Z propagation with IEEE 1800-2023 compliant synthesizable SystemVerilog subset.
First-class VPI interface. Write testbenches in Python with cocotb. V1 is a VPI-only simulator by design.
Built-in line, branch, and toggle coverage. LCOV output compatible with standard analysis tools.