A Verifiable High Level Data Path Synthesis Framework | IEEE Conference Publication | IEEE Xplore