{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:46:49Z","timestamp":1742798809216,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2005.1464829","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"1282-1285","source":"Crossref","is-referenced-by-count":1,"title":["Parameter Domain Pruning for Improving Convergence of Synthesis Algorithms"],"prefix":"10.1109","author":[{"family":"Hua Tang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Doboli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","article-title":"a noninvasive channel select filter for a mos bluetooth receiver","author":"zolfaghari","year":"2002","journal-title":"Proc of IEEE Custom Integrated Circuits Conference"},{"key":"15","article-title":"self-validated numerical methods and applications","author":"stolfi","year":"1997","journal-title":"Proc of 21st Brazilian Mathematics Colloquium"},{"key":"16","first-page":"221","article-title":"fifth order lowpass continuous-time cmos ota-c filter","author":"pankiewicz","year":"2002","journal-title":"Proc of International Conference on Signals and Electronic Systems"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/43.998624"},{"key":"14","article-title":"interval analysis","author":"moore","year":"1966","journal-title":"Prentice Hall"},{"key":"11","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1145\/775832.775960","article-title":"toward efficient static analysis of finite-precision effects in dps applications via affine arithmetic modeling","author":"fang","year":"2003","journal-title":"Proc of Design Automation Conference"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268875"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/764808.764861"},{"key":"2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/43.905671","article-title":"optimal design of a cmos op-amp via geometric programming","volume":"20","author":"hershenson","year":"2001","journal-title":"IEEE Trans CAD"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.899053"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2002.1167576"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/81.809546"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2001.922077"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249986"},{"key":"4","article-title":"towards high-level synthesis of analog and mixed-signal systems from vhdl-ams specifications - a case study for a sigma-delta analog-digital converter","author":"tang","year":"0","journal-title":"Languages for System Specification"},{"article-title":"fast interval branch-and-bound methods for unconstrained global optimzation with affine arithemetic","year":"1997","author":"figueiredo","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/81.883323"}],"event":{"name":"2005 IEEE International Symposium on Circuits and Systems","location":"Kobe, Japan"},"container-title":["2005 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9898\/31469\/01464829.pdf?arnumber=1464829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,14]],"date-time":"2021-07-14T03:02:56Z","timestamp":1626231776000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1464829"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iscas.2005.1464829","relation":{},"subject":[]}}