Qualcomm interview question

How to formally verify a cache.