verilog/rtl/fwpayload/fwrisc/ve/fwrisc_formal/tests/fwrisc_formal_jalr.svh

`include "fwrisc_formal_opcode_defines.svh"

`jalr(idata, $anyconst, $anyconst, $anyconst);
// `jal(idata, 4, $anyconst);