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