Anant Saraswat, Kumar Abhishek 0004, Muhammad Rukunuddin Ghalib, Achyut Shankar, Mamoun Alazab, Bernard Nongpoh. Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker. Computers & Electrical Engineering, 97:107482, 2022. [doi]
Abstract is missing.