Guowei Hou and Lixin Yu and Wei Zhuang and Hui Qin and Xue Yang, Formal Verification of Cache System Using a Novel Cache Memory Model. journal = {International Journal of Electronics and Communication Engineering}, [online]. World Academy of Science, Engineering and Technology. February 2015, vol. 99(3). 721 - 724 [viewed 24 April 2024]. Available from: https://publications.waset.org/pdf/10000775.