{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:40:02Z","timestamp":1725518402618},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268925","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T17:52:40Z","timestamp":1087840360000},"page":"674-675","source":"Crossref","is-referenced-by-count":1,"title":["Automatic synthesis and simulation of continuous-time \u03a3\u0394 modulators"],"prefix":"10.1109","author":[{"given":"H.","family":"Aboushady","sequence":"first","affiliation":[]},{"given":"L.","family":"de Lamarre","sequence":"additional","affiliation":[]},{"given":"N.","family":"Beilleau","sequence":"additional","affiliation":[]},{"given":"M.M.","family":"Louerat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1007\/978-1-4757-3188-0_9"},{"key":"22","first-page":"112","article-title":"Formal verification of superscalar microprocessors with multicycle functional units, exceptions, and branch prediction","author":"velev","year":"2000","journal-title":"DAC00"},{"year":"0","author":"ryan","journal-title":"Siege homepage","key":"17"},{"year":"1999","author":"sawada","journal-title":"Formal verification of an advanced pipelined machine","key":"18"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/DAC.2001.156196"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/ICVD.1999.745161"},{"key":"13","first-page":"110","article-title":"Verification of an implementation of Tomasulos algorithm bycompositional model checking","author":"mcmillan","year":"1998","journal-title":"CAV98 1427 of LNCS"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/978-0-387-35599-3_9"},{"year":"2001","author":"manolios","journal-title":"Mechanical verification of reactive systems","key":"11"},{"key":"12","first-page":"304","article-title":"Acompositional theory of refinement for branching time","author":"manolios","year":"2003","journal-title":"CHARME03 2860 of LNCS"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/52.57892"},{"key":"3","first-page":"68","article-title":"Automatic verification of pipelined microprocessor control","author":"burch","year":"1994","journal-title":"CAV94 818 of LNCS"},{"key":"2","first-page":"78","article-title":"Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions","author":"bryant","year":"2002","journal-title":"CAV02 2404 of LNCS"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/MEMCOD.2003.1210090"},{"key":"1","first-page":"470","article-title":"Exploiting positive equality in a logic of equality with uninterpreted functions","author":"bryant","year":"1999","journal-title":"CAV99 1633 of LNCS"},{"key":"10","first-page":"161","article-title":"Correctness of pipelined machines","author":"manolios","year":"2000","journal-title":"Formal Methods Incomputer-Aided Design 1954 of LNCS"},{"year":"2000","author":"kaufmann","journal-title":"Computer-Aided Reasoning An Approach","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/296333.296345"},{"key":"5","article-title":"Proof of correctness of a processor with reorder buffer using thecompletion functions approach","author":"hosabettu","year":"1999","journal-title":"CAV99 1633 of LNCS"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/4.962279"},{"key":"9","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-36126-X_9","article-title":"Modeling and verification of out-of-order microprocessors using UCLID","author":"lahiri","year":"2002","journal-title":"Formal Methods Incomputer-Aided Design 2517 of LNCS"},{"year":"0","author":"kaufmann","journal-title":"ACL2 Homepage See","key":"8"}],"event":{"acronym":"DATE-04","name":". Design, Automation and Test in Europe Conference and Exhibition","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268925.pdf?arnumber=1268925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:12:14Z","timestamp":1497586334000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268925","relation":{},"subject":[]}}