Date: January 19-22, 2015
Location: Chiba, Japan, January
Website: http://www.aspdac.com/aspdac2015/
Che-Wei Chang, Rainer Dömer, “Communication Protocol Analysis of Transaction-level Models Using Satisfiability Modulo Theories,” the 20th Asia and South Pacific Design Automation Conference (ASP-DAC 2015):606-611, Chiba, Japan, January 19-22, 2015
Guantao Liu, Tim Schmidt, Rainer Dömer, Ajit Dingankar, Desmond Kirkpatrick “Optimizing Thread-to-core Mapping on Manycore Platforms with Distributed Tag Directories,” the 20th Asia and South Pacific Design Automation Conference (ASP-DAC 2015):429-434, Chiba, Japan, January 19-22, 2015