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 http://www.cl.cam.ac.uk/~djg11/shortbiog.html
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| spEEDO: Energy Efficiency through Debug suppOrt | Sunday | AW1.126 | Energy-efficient computing | 10:45 | 11:45 |