Gorker Alp Malazgirt, Ender Culha, Alper Sen 0001, I. Faik Baskaya, Arda Yurdakul. A Verifiable High Level Data Path Synthesis Framework. In 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012. pages 397-404, IEEE, 2012. [doi]
Abstract is missing.