Deployment of Formal Verification for RISC Processor RTL Signoff. IJFANS. 2022;11(Special Issue 3):3449-3458. Accessed September 21, 2026. https://www.ijfans.org/index.php/Journal/article/view/9264