1044: Requirements Recognition For Verification Ip Design Using Large Language Models
Siarhei Zalivaka, Solidigm
Technical Session 2 [AI & ML in Verification]
1083: All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
Aman Kumar, Infineon Technologies; Deepak Narayan Gadde, Infineon Technologies; Thomas Nalapat, Infineon Technologies; Evgenii Rezunov, Infineon Technologies; Fabio Cappellini, Infineon Technologies
1104: Efficient Application Of Ai Algorithms For Large-Scale Verification Environments Based On Noc Architecture
Olivera Stojanovic, Vtool; Nemanja Mitrovic, Vtool; Anna Revitzki, Vtool
1135: Large Language Model For Verification: A Review And Its Application In Data Augmentation
Dan Yu, Siemens EDA; Harry Foster, Siemens EDA; Eman El Mandouh, Siemens EDA; Waseem Raslan, Siemens EDA; Tom Fitzpatrick, Siemens EDA