Best Paper Award in DAC 2014 Our paper at DAC 2014 “Code Coverage of Assertions Using RTL Source Code Analysis” won the best paper award ! The college, department and CSL ran an article on it. This was my first paper with a female graduate student, Sai Ma. Way to go Sai!!