“Deployment of Formal Verification for RISC Processor RTL Signoff”. International Journal of Food and Nutritional Sciences, vol. 11, no. Special Issue 3, Jan. 2022, pp. 3449-58, https://ijfans.org/index.php/Journal/article/view/9264.