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:

AMIQ_EDA_logo-1-768x438.jpg