Francesco Bruschi and Fabrizio Ferrandi.
Synthesis of complex control structures from behavioral SystemC models.
Design, Automation and Test in Europe, pages 112 - 117, 2003.

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.

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.

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.

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 2017-09-20