Apply high-level synthesis design and verification methodology on floating-point unit implementation. - Chia-I Chen; Chin-Yeh Yu; Yen-Ju Lu; Chi-Feng Wu (VLSI-DAT, 2014)