@entry{doi-hor-nak-06-aa,
  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 ...,},
  year = 2006,
  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 ...}
}