ASP-DAC_2015_umeki