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