{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T16:01:04Z","timestamp":1775145664261,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742898","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T16:20:31Z","timestamp":1392999631000},"page":"250-255","source":"Crossref","is-referenced-by-count":26,"title":["ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog\/mixed-signal verification"],"prefix":"10.1109","author":[{"given":"Aadithya V.","family":"Karthik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayak","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaijeet","family":"Roychowdhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"0"},{"key":"17","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1145\/2228360.2228418","article-title":"DAE2FSM: Automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics","author":"aadithya","year":"2012","journal-title":"Proceedings of the 44th Design Automation Conference DAC"},{"key":"18","year":"0"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488811"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722281"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"12","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012684"},{"key":"20","year":"0"},{"key":"2","article-title":"Analog design challenges in the new era of process scaling","author":"parker","year":"0","journal-title":"At the 2012 International Workshop on Design Automation for AMS Circuits (Co-located with ICCAD)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980715"},{"key":"1","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"CAV'10 Proceedings of the Nd 22 International Conference on Computer Aided Verification"},{"key":"7","first-page":"659","article-title":"Formal verification of phase locked loops using reachability analysis and continuization","author":"althoff","year":"2010","journal-title":"ICCAD'10 Proceedings of the IEEE\/ACM International Conference on Computer-aided Design"},{"key":"6","author":"little","year":"2008","journal-title":"Efficient modeling and verification of analog\/mixed-signal circuits using labeled hybrid petri nets"},{"key":"5","first-page":"249","article-title":"A symbolic methodology for the verification of AMS designs","author":"al-sammane","year":"2007","journal-title":"Proceedings of the Design Automation & Test in Europe Conference DATE"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403453"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429423"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Singapore","start":{"date-parts":[[2014,1,20]]},"end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742898.pdf?arnumber=6742898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:27:32Z","timestamp":1565198852000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742898\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742898","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}