verilog/rtl/fwpayload/fwrisc/ve/fwrisc_decode_formal/tb/fwrisc_decode_formal_smoke_checker.sv

module fwrisc_decode_formal_checker(
		// TODO: fill in port list
		);
	
endmodule