Formal proof of the phased write dual port memory wrapper