Stuart Sutherland Best Paper Award

1st Place

Hierarchical Formal Verification and Progress Checking of Network-On-Chip Design

Pritam Roy, NVIDIA; Ping Yeung, NVIDIA; Joon Hong, NVIDIA; Abhishek Desai, NVIDIA; Aishwarya Raj, NVIDIA; Chirag Agarwal, NVIDIA; Dhruvin Patel, NVIDIA

2nd Place

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

3rd Place

User Programmable Targeted UVM Debug Verbosity Escalation

Sam Mellor, Arm

Stuart Sutherland Best Poster Award

1st Place

Time-travel Debugging for High-level Synthesis Code

Jonathan Bonsor-Matthews, LightBlue Logic Limited; Greg Law, Undo Limited

2nd Place

A Survey of Predictor Implementation using High-Level Language Co-simulation

Sean Little, Verus Research

3rd Place

Register Access by Intent: Towards Generative RAL based Algorithms

Ahmed Allam, ICpedia

Sponsored by: