Verify: add N+1 Memory redundancy verification