Close
 

Organization

Princeton University
Session Chair(s)
Aarti Gupta
Sharad Malik
Aninda Manocha
Margaret Martonosi
Marcelo Orenes-Vera
Georgios Tziantzioulis
David Wentzlaff
Hongce Zhang
Presentations
Research Manuscript
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
EDA
Design Verification and Validation
Presented In-Person
Tutorial
Enabling FV and Simulation using Functional Specifications: The Open-Source ILA Methodology
Presented In-Person
Research Manuscript
ST2GPU: An Energy-Efficient GPU Design with Spatio-Temporal Shared-Thread Speculative Adders
EDA
Cross-Layer Power Analysis and Low-Power Design
Presented In-Person