TY - BOOK AU - Kota Venkata Sricharan AU - Under supervision of Prof. Vinod Sharma Prashant Narang TI - Algorithmic verfication framework for the IEEE 1500 wrapper PY - 2025/// CY - Shiv Nadar University, Dadri PB - Department of Electrical Engineering, School of Engineering KW - EngineeringElectrical EngineeringElectronics and Communication Engineering ER -