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