Fixed Point Data Type Modeling for High Level Synthesis. - Benjamin Carrión Schäfer; Yusuke Iguchi; Wataru Takahashi 002; Shingo Nagatani; Kazutoshi Wakabayashi (IEICE Trans. Electron., 2010)