- 1
-
Francesco Bruschi and Fabrizio Ferrandi.
Synthesis of complex control structures from behavioral SystemC
models.
Design, Automation and Test in Europe, pages 112 - 117, 2003.
- 2
-
D. J. Greaves and M. J. Nam.
Synthesis of glue logic, transactors, multiplexors and serialisors
from protocol specifications.
In 2010 Forum on Specification Design Languages (FDL 2010),
pages 1-7, Sept 2010.
- 3
-
David Greaves and Satnam Singh.
Kiwi: Synthesis of FPGA circuits from parallel programs.
In The 16th IEEE Symposium on Field-Programmable Custom
Computing Machines, April 2008.
- 4
-
R. Passerone, L. de Alfaro, T. Henzinger, and A. Sangiovanni-Vincentelli.
Convertibility verification and converter synthesis: Two faces of the
same coin.
In Proceedings of the International Conference on Computer-Aided
Design, November 2002.
- 5
-
A.M. Zaidi and D.J. Greaves.
A new dataflow compiler IR for accelerating control-intensive code
in spatial hardware.
In Parallel Distributed Processing Symposium Workshops (IPDPSW),
2014 IEEE International, pages 122-131, May 2014.
David Greaves
2019-11-14