High-level synthesis of software-customizable floating-point cores | IEEE Conference Publication | IEEE Xplore