High-Level verifiable data-path Synthesis for DSP systems

Field Programmable Gate Arrays (FPGAs) provides fast and low cost implementation of DSP systems. The increasing popularity of FPGAs and lack of experience of the DSP algorithm designers on HDLs, makes the High Level Synthesis tools vital for design, early performance estimation, prototyping, testing and verification. In this paper, we present a high-level design-time verifiable Register-Transfer Level (RTL) generator which is integrated to RH(+) framework, a delay and area estimation model of the generated circuit for the Xilinx Spartan 3 FPGA Family.