%0 Conference Paper %1 conf/dac/HorowitzJLLLM10 %A Horowitz, Mark %A Jeeradit, Metha %A Lau, Frances %A Liao, Sabrina %A Lim, ByongChan %A Mao, James %B DAC %D 2010 %E Sapatnekar, Sachin S. %I ACM %K dblp %P 425-430 %T Fortifying analog models with equivalence checking and coverage analysis. %U http://dblp.uni-trier.de/db/conf/dac/dac2010.html#HorowitzJLLLM10 %@ 978-1-4503-0002-5

@inproceedings{conf/dac/HorowitzJLLLM10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Horowitz, Mark and Jeeradit, Metha and Lau, Frances and Liao, Sabrina and Lim, ByongChan and Mao, James}, biburl = {https://www.bibsonomy.org/bibtex/2d91b699cebb0a08e2513a332e55df4be/dblp}, booktitle = {DAC}, crossref = {conf/dac/2010}, editor = {Sapatnekar, Sachin S.}, ee = {https://doi.org/10.1145/1837274.1837381}, interhash = {935bdac34a5db84db6393055c0331c5d}, intrahash = {d91b699cebb0a08e2513a332e55df4be}, isbn = {978-1-4503-0002-5}, keywords = {dblp}, pages = {425-430}, publisher = {ACM}, timestamp = {2018-11-07T15:14:03.000+0100}, title = {Fortifying analog models with equivalence checking and coverage analysis.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2010.html#HorowitzJLLLM10}, year = 2010 }