“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://ijfans.org/index.php/Journal/article/view/9264 (Accessed: 5 September 2026).