George Economakos, Ioannis Drositis, George K. Papakonstantinou. A complete specification and implementation methodology for high-level hardware transformations. In Proceedings of the 2000 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000, Jounieh, Lebanon, December 17-20, 2000. pages 520-523, IEEE, 2000. [doi]
Abstract is missing.