verilog/rtl/fwpayload/fwrisc/ve/fwrisc_fetch_formal/tests/fwrisc_fetch_formal_smoke_test.sv

module fwrisc_fetch_formal_test(
		// TODO: specify portlist
		);
	

endmodule