“Deployment of Formal Verification for RISC Processor RTL Signoff”, IJFANS, vol. 11, no. Special Issue 3, pp. 3449–3458, Jan. 2022, Accessed: Jul. 17, 2026. [Online]. Available: https://www.ijfans.org/index.php/Journal/article/view/9264