Congratulations to Lei Yang's paper to be ASP-DAC 2016 Best Paper Candidate