{"_id":"nhzBKTjxJXySiQXNN","bibbaseid":"zhang-sankaranarayanan-somenzi-piecewiselinearmodelingofnonlineardevicesforformalverificationofanalogcircuits-2012","downloads":0,"creationDate":"2015-10-19T18:43:42.260Z","title":"Piecewise linear modeling of nonlinear devices for formal verification of analog circuits","author_short":["Zhang, Y.","Sankaranarayanan, S.","Somenzi, F."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fmcad/ZhangSS12","bibdata":{"title":"Piecewise linear modeling of nonlinear devices for formal verification of analog circuits","author":["Yan Zhang","Sriram Sankaranarayanan","Fabio Somenzi"],"author_short":["Zhang, Y.","Sankaranarayanan, S.","Somenzi, F."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2340134","id":"dblp2340134","biburl":"http://www.dblp.org/rec/bibtex/conf/fmcad/ZhangSS12","url":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462574","conference":"FMCAD","pages":"196-203","text":"FMCAD 2012:196-203","booktitle":"Proceedings of Formal Methods in Computer-Aided Design (FMCAD)","bibtex":"@inproceedings{ dblp2340134,\n title = {Piecewise linear modeling of nonlinear devices for formal verification of analog circuits},\n author = {Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi},\n author_short = {Zhang, Y. and Sankaranarayanan, S. and Somenzi, F.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2340134},\n id = {dblp2340134},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fmcad/ZhangSS12},\n url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462574},\n conference = {FMCAD},\n pages = {196-203},\n text = {FMCAD 2012:196-203},\n booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)}\n}","bibbaseid":"zhang-sankaranarayanan-somenzi-piecewiselinearmodelingofnonlineardevicesforformalverificationofanalogcircuits-2012","role":"author","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462574"},"downloads":0},"search_terms":["piecewise","linear","modeling","nonlinear","devices","formal","verification","analog","circuits","zhang","sankaranarayanan","somenzi"],"keywords":[],"authorIDs":[],"dataSources":["FEec8feJnJMySPYW2"]}