DAC BEST PAPER AWARD PRESENTATION. (DAC: Annual ACM/IEEE Design Automation Conference, 2015)