ASP-DAC 2013: Yokohama, Japan