verilog/rtl/fwpayload/fwrisc/ve/fwrisc_mul_div_shift_formal/tests/fwrisc_mul_div_shift_formal_mulsh.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'b0110; // mulsh
//assign in_a = 32'd2;
//assign in_b = 32'd2;
assign in_a = $anyconst;
assign in_b = $anyconst;

endmodule