Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici. First steps towards SAT-based formal analog verification. In 2009 International Conference on Computer-Aided Design (ICCAD 09), November 2-5, 2009, San Jose, CA, USA. pages 1-8, IEEE, 2009. [doi]
@inproceedings{TiwaryGPPZ09,
title = {First steps towards SAT-based formal analog verification},
author = {Saurabh K. Tiwary and Anubhav Gupta and Joel R. Phillips and Claudio Pinello and Radu Zlatanovici},
year = {2009},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5361324},
tags = {rule-based},
researchr = {https://researchr.org/publication/TiwaryGPPZ09},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {2009 International Conference on Computer-Aided Design (ICCAD 09), November 2-5, 2009, San Jose, CA, USA},
publisher = {IEEE},
}