The final version of the technical program.
The conference proceedings are available from IEEE Xplore.
Wolfgang Kunz, Dept. of Electrical and Computer Engineering, Technische Universität Kaiserslautern, Germany is now confirmed as invited speaker for Wednesday 26th. He shall speak on Hardware/Firmware Verification in System-Level Design Flows – Can Formal Methods Meet the Challenge?
Ronald Tetzlaff, Technische Universität Dresden, Germany is now confirmed for the opening session Monday 24th. His presentation is entitled "Complexity in future electronic systems".
Scott Hanson, Ambiq Micro, shall give an invited talk, Tuesday morning on: Solving the Energy Problem to Build the Perfect Internet of Things.