@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 ...} }