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 Poster Award
1st Place
- Improving Software Testing Speed by 100X With SystemC Virtualization in IoT Devices
- David Barahona, Norwegian University of Science and Technology, Norway
- Motaz Thiab, Norwegian University of Science and Technology, Norway
- Isael Diaz, Nordic Semiconductor, Norway
- Joakim Urdahl, Nordic Semiconductor, Norway
- Milica Orlandic, Norwegian University of Science and Technology, Norway
2nd Place
- Automated Traceability of Requirements in the Design and Verification Process of Safety-Critical Mixed-Signal Systems
- Gabriel Pachiana, Fraunhofer IIS/EAS, Germany
- Maximilian Grundwald, Fraunhofer IIS/EAS, Germany
- Thomas Markwirth, Fraunhofer IIS/EAS, Germany
- Christoph Sohrmann, Fraunhofer IIS/EAS, Germany
3rd Place
- Preventing Glitch Nightmares on CDC Paths: the Three Witches
- Jian-Hua Yan, MediaTek Inc., China
- Ping Yeung, Siemens EDA
- Stewart Li, Siemens EDA
- Sulabh-Kumar Khare, Siemens EDA
Stuart Sutherland Best Paper Award
1st
- Formal Verification Experiences: Spiral Refinement Methodology for Silicon Bug Hunt
- Ping Yeung, Mark Eslinger, Siemens EDA
- Jin Hou, Siemens EDA
2nd
- Advanced UVM, Multi-Interface, Reactive Stimulus Techniques
- Clifford Cummings, Paradigm Works, United States
- Stephen Donofrio, Paradigm Works, United States
- Jeff Wilcox, Paradigm Works, United States
- Heath Chambers, HMC Design Verification, United States
3rd
- Open-Source Framework for Co-Emulation Using PYNQ
- Ioana Catalina Cristea, Amiq Consulting, Romania
- Dragos Dospinescu, Amiq Consulting, Romania