%0 Conference Paper %1 conf/atva/LittleWJM07 %A Little, Scott %A Walter, David %A Jones, Kevin R. %A Myers, Chris J. %B ATVA %D 2007 %E Namjoshi, Kedar S. %E Yoneda, Tomohiro %E Higashino, Teruo %E Okamura, Yoshio %I Springer %K dblp %P 114-128 %T Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. %U http://dblp.uni-trier.de/db/conf/atva/atva2007.html#LittleWJM07 %V 4762 %@ 978-3-540-75595-1

@inproceedings{conf/atva/LittleWJM07, added-at = {2017-06-01T00:00:00.000+0200}, author = {Little, Scott and Walter, David and Jones, Kevin R. and Myers, Chris J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b64a6dbb9d73fa169fdf620cc234e0de/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2007}, editor = {Namjoshi, Kedar S. and Yoneda, Tomohiro and Higashino, Teruo and Okamura, Yoshio}, ee = {https://doi.org/10.1007/978-3-540-75596-8_10}, interhash = {89df3cf88ed526313448dba1e6ef2a8a}, intrahash = {b64a6dbb9d73fa169fdf620cc234e0de}, isbn = {978-3-540-75595-1}, keywords = {dblp}, pages = {114-128}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:14.000+0200}, title = {Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2007.html#LittleWJM07}, volume = 4762, year = 2007 }