In *Proceedings of Formal Methods in Computer-Aided Design (FMCAD)*, pages 196-203, 2012.

Paper bibtex

Paper bibtex

@inproceedings{ dblp2340134, title = {Piecewise linear modeling of nonlinear devices for formal verification of analog circuits}, author = {Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi}, author_short = {Zhang, Y. and Sankaranarayanan, S. and 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)} }

Downloads: 0