Formalize the Cache: Formal Verification Techniques to Verify Different Cache Configurations