20th ASP-DAC 2015: Chiba, Japan