Codes/isss '17 Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion - Thiele, Lothar (Association for Computing Machinery)