“Deployment of Formal Verification for RISC Processor RTL Signoff” (2022) International Journal of Food and Nutritional Sciences, 11(Special Issue 3), pp. 3449–3458. Available at: https://www.ijfans.org/index.php/Journal/article/view/9264 (Accessed: 21 September 2026).