Advanced features of Bluespec SystemVerilog