2022. Deployment of Formal Verification for RISC Processor RTL Signoff. International Journal of Food and Nutritional Sciences. 11, Special Issue 3 (Jan. 2022), 3449–3458.