@entry{doi-hor-nak-kim-06-aa-bitlen, author = {N Doi and T Horiyama and M Nakanishi...}, title = {Bit-length optimization method for high-level synthesis based on non-linear programming technique}, journal = {IEICE transactions on ...,}, volume = {}, number = {}, pages = {}, year = 2006, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://search.ieice.org/bin/summary.php?id=e89-a_12_3427}}}, quotes = {... our error model and error propagation method based on affine arithmetic. Then, Sect.5 explains the bit-length optimization method with the non-linear programming formulation. Section ...} }