Session 3: AI & ML in Verification

Session Chair: Paul Marriott

• [1005] Bridging the Verification Gap in DSP Designs A Case Study on LMS Adaptive Filter Datapath Cycle-Accurate Verification Using Generative AI and MATLAB DPIGEN 
  • Kuan-Ting Chen, Silicon Labs
• [1016] Towards Automated Verification IP Instantiation via LLMs 
  • Ghaith Bany Hamad, Nvidia; Michael Marcotte, Nvidia; Syed Suhaib, Nvidia          
• [1048] Saarthi: The First AI Formal Verification Engineer 
  • Aman Kumar, Infineon Technologies; Deepak Narayan Gadde, Infineon Technologies; Keerthan Kopparam Radhakrishna, Infineon Technologies; Djones Lettnin, Infineon Technologies         
• [1030] An Early Stage Coverage Measurement Methodology For Common Features Of System-On-Chip Verification, Using Design Metadata And Large Language Models 
  • Myeongwhan Hyun, Samsung Electronics; Jaehyeok Lee, Samsung Electronics; Jin Choi, Samsung Electronics; Dongjoo Kim, Samsung Electronics; Seonghee Yim, Samsung Electronics; Youngsik Kim, Samsung Electronics; Seonil Brian Choi, Samsung Electronics