Accelerated Design Verification Coverage Closure Using Machine Learning. - Shivani Jayakumar; Prasanth Viswanathan Pillai; Sumit Kumar Mandal (VLSID, 2025)