High-Level verifiable data-path Synthesis for DSP systems | IEEE Conference Publication | IEEE Xplore