SystemVerilog, environments, ASIC/SoC verification