Qualcomm Interview Question

How to formally verify a cache.