Last released Apr 27, 2026
SystemVerilog static analysis library for RTL tracing, verification, and code quality
Supported by