A Verifiable High Level Data Path Synthesis Framework. - Gorker Alp Malazgirt; Ender Culha; Alper Sen 001; I. Faik Baskaya; Arda Yurdakul (DSD, 2012)

High-Level verifiable data-path Synthesis for DSP systems. - Ender Culha; Gorker Alp Malazgirt; I. Faik Baskaya; Alper Sen 001; Arda Yurdakul (SIU, 2012)