SV: Get RISC-V decoder through the SystemVerilog translation

SV: Get RISC-V decoder through the SystemVerilog translation #862