An Efficient and Modular Approach for Formally Verifying Cache implementations Author(s): M Achutha KiranKumar V, Abhijith A Bharadwaj, and Bindumadhava S S Download