Tools for working with SystemVerilog