A high-level synthesis and verification tool for fixed to floating point conversion | IEEE Conference Publication | IEEE Xplore