Add formal verification of the single port memory block