vsc-solvers (pypi): Core Verification Stimulus and Coverage library
Keywords: SystemVerilog|Verilog|RTL|Python