The voting was so close this year that two papers will split the $2000 prize. The first winner is
"FEV’s Greatest Bloopers: False Positives in Formal Equivalence" by Erik Seligman, Joonyoung Kim Digital Enterprise Group, Intel Corporation, Hillsboro, OR.
The second first place winner is
"Towards a Practical Design Methodology with SystemVerilog Interfaces and Modports" by Jonathan Bromley, Doulos Ltd, Ringwood, U.K.
Congrats to the winners!
