@entry{pan-yan-lin-lig-hua-shi-15-aa,
  author = {Y Pang and Y Yan and J Lin and G Li and H Huang and L Shi...},
  title = {ICAT: engine to perform range analysis and allocate bit-widths for arithmetic datapaths},
  journal = {Journal of Circuits ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.worldscientific.com/doi/abs/10.1142/S0218126615500206?casa_token=0bV0em6geAMAAAAA:zeCMCpTmxGFaF00HDHZB3W1WR_BsfSqNHVkVrQuwjqsUt7Pv_N6SqGLMtumKWO47FwxF_m1kxN8}}},
  quotes = {... The hybrid method, ICAT, combines four techniques, including Interval arithmetic, consistency checking, affine arithmetic and arithmetic transform and is the only method that is aware ...}
}