verilog/rtl/fwpayload/fwrisc/ve/fwrisc_mul_div_shift_formal/tests/fwrisc_mul_div_shift_formal_sra.sv

module fwrisc_mul_div_shift_formal_op(
		output[31:0]		in_a,
		output[31:0]		in_b,
		output[3:0]			op
		);
	
assign op = 4'b0010; // sra
assign in_a = $anyconst;
assign in_b = $anyconst;

endmodule