A Verifiable High Level Data Path Synthesis Framework.

Gorker Alp Malazgirt, Ender Culha, Alper Sen, I. Faik Baskaya, Arda Yurdakul

Browse the full DSD paper archive.