An Automated Validation Framework for Power Management and Data Retention Logic Kits of Standard Cell Library. - Akshay Karkal Kamath; Bharath Kumar; Sunil Aggarwal; Subramanian Parameswaran; Parag Lonkar; Debi Prasanna; Somasunder Sreenath (CoRR, 2024)