Thank you for participating in the technical paper and poster sessions.
Attendee votes have determined our Best Paper and Best Poster Award recipients.
Stuart Sutherland Best Paper Award
1st Place
All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
Aman Kumar, Deepak Narayan Gadde, Thomas Nalapat, Evgenii Rezunov, and Fabio Cappellini, Infineon Technologies
2nd Place
Leveraging Interface Classes to Improve UVM TLM
Neha Goyal and Justin Refice, Nvidia Corp.
3rd Place
Gherkin Implementation in SystemVerilog Brings Agile Behavior-Driven Development to UVM
William Moore, Paradigm Works
Stuart Sutherland Best Poster Award
1st Place
AI-based Algorithms to Analyze and Optimize Performance Verification Efforts
Sharada Vajja, Google LLC
2nd Place
Enabling True System-Level, Mixed-Signal Emulation
Nimay Shah, Analog Devices, Inc.
3rd Place
Scalable Functional Verification using Portable Stimulus Standard
Santosh Kumar, Qualcomm Technologies Inc