2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC)