Language support for SystemVerilog