Brussels / 1 & 2 February 2014


David Greaves

Dr David Greaves

His general interest is advanced tooling for hardware description using logic programming and automated decision procedures. He has recently been working on tools for various RTL languages including a fault-tolerant Bluespec flow, the Kiwi Project, which is a high-level synthesis of the C# language for application acceleration, and on power modelling using SystemC transactional models.

More from here


Title Day Room Track Start End
spEEDO: Energy Efficiency through Debug suppOrt Sunday AW1.126 Energy-efficient computing 10:45 11:45