Who Puts the 'Cool' in Cool Verification?
Closing Out the Conference

DVCon 2007 Best Paper Awards

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!