2018 55th ACM ESDA IEEE Design Automation Conference (DAC) (IEEE)