Professor Jason Cong is a recipient of the 2012 ACM Transactions on Design Automation of Electronic Systems (TODAES) Best Paper Award for the journal entitled "Behavior-Level observability Analysis for Operation Gating in Low-Power Behavioral Synthesis," with co-authors from UCLA Bin Liu and Rupak Majumdar, and Zhiru Zhang from AutoESL Design Technologies, Inc. The award was presented on June 5, 2012 at the Design Automation Conference held in San Francisco, CA.