ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation. - Bhabesh Mali; Karthik Maddala; Vatsal Gupta; Sweeya Reddy; Chandan Karfa; Ramesh Karri (ISVLSI, 2024)

LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification. - Karthik Maddala; Bhabesh Mali; Chandan Karfa (CoRR, 2024)

LAMA: A Latency Minimum Resource Constraint Accelerator for CNN Models. - Sutirtha Bhattacharyya; Fedrick Nongpoh; Karthik Maddala; E. Bhawani Eswar Reddy; Chandan Karfa (VLSID, 2025)