A SystemVerilog port of Shen