- High-Level Hardware Specifications Keynote Talk
- Synthesising Glue Logic Transactors, Multiplexors and
- ATM for Video and Audio on Demand David Greaves.
- Control Software for Home Automation, Design Aspects and Position Paper Keywords: Autohan, UPnP, Iota, XML.
- Automated Hardware Synthesis from Formal Specification using SAT solvers. David Greaves -Univ of Cambridge
- Synthesis of Glue Logic, Transactors, Multiplexors
- Distributing C# Methods and Threads over Ethernet-connected FPGAs using Kiwi David Greaves
- David.Greaves@cl.cam.ac.uk Compiling Complete Programs into Circuits Workshop (CCPC 2012) 4th March 2012, London.
- "A Verilog to C Compiler." RSP 2000, Paris, June 2000.
