xyalis-at-50th-design-automation-conference-2013