{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T10:45:24Z","timestamp":1761561924233},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2015,2]]},"abstract":"<jats:p> Range analysis determines allocation of fixed-point integer bit-widths, which is critical for arithmetic on fixed-point representations. The traditional methods, either simulation-based or static, can be time-consuming and produce coarse bounds, potentially leading to large error bounds and unnecessary bits. In this paper, we propose a new static method to perform fixed-point range analysis towards obtaining the tighter ranges efficiently. 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 how far it is from the exact solution. For the benchmarks available with comparable methods, we show that the bit-width allocation can be obtained with better results, and in shorter execution time. <\/jats:p>","DOI":"10.1142\/s0218126615500206","type":"journal-article","created":{"date-parts":[[2014,11,7]],"date-time":"2014-11-07T06:26:29Z","timestamp":1415341589000},"page":"1550020","source":"Crossref","is-referenced-by-count":2,"title":["ICAT: Engine to Perform Range Analysis and Allocate Bit-Widths for Arithmetic Datapaths"],"prefix":"10.1142","volume":"24","author":[{"given":"Yu","family":"Pang","sequence":"first","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yafeng","family":"Yan","sequence":"additional","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhao","family":"Lin","sequence":"additional","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoquan","family":"Li","sequence":"additional","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huawei","family":"Huang","sequence":"additional","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Shi","sequence":"additional","affiliation":[{"name":"Chongqing University of Posts and Telecommunications, Chongqing 400065, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katarzyna","family":"Radecka","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Quebec, Canada H3A OG4, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,11,27]]},"reference":[{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.106"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1013"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1109\/43.936374"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1109\/78.476465"},{"key":"rf13","volume-title":"Interval Analysis","author":"Moore R.","year":"1966"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049478.42605.cf"},{"key":"rf15","first-page":"297","volume":"4","author":"Stolfi J.","year":"2003","journal-title":"TEMA Tend. Mat. Apl. Comput."},{"key":"rf16","volume-title":"Brazilian Mathematics Colloquium Monograph","author":"de Figueiredo L.","year":"1997"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818119"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041839"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855935"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2049154"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126615500206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T23:50:56Z","timestamp":1565135456000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126615500206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,27]]},"references-count":13,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2014,11,27]]},"published-print":{"date-parts":[[2015,2]]}},"alternative-id":["10.1142\/S0218126615500206"],"URL":"https:\/\/doi.org\/10.1142\/s0218126615500206","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,27]]}}}