DAC 2009 Best Paper Award


A Robust and Efficient Harmonic Balance (HB) Using Direct Solution of HB Jacobian
Amit Mehrotra - Berkeley Design Automation, Santa Clara, CA
Abhishek Somani - Berkeley Design Automation, Bangalore, India

DAC Best User Track Poster Award


Attacking Constraint Complexity in Large Scale Random Verification Environment
Ben Chen, Srinath Atluri, Harish Krishnamoorthy - Cisco Systems, Inc., San Jose, CA
Alex Wakefield, Balamurugan Veluchamy - Synopsys Inc., Mountain View, CA

DAC Best User Track Poster Award Honorable Mention


Timing Closure in 65-Nanometer ASICs using Statistical Static Timing Analysis Design Methodology
Llewellyn Marshall, Eric Foreman - IBM Corp., Essex Jct, VT
Visualizing Debugging using Transaction Explorer in SOC System Verification
Alicia Strang, Robert Carden IV - Marvell Semiconductor Inc., Aliso Viejo, CA