%0 Conference Paper %1 conf/iccad/HsuWLK15 %A Hsu, Chih-Jen %A Wu, Chi-An %A Lin, Wei-Hsun %A Khoo, Kei-Yong %B ICCAD %D 2015 %E Marculescu, Diana %E Liu, Frank %I IEEE %K dblp %P 916-920 %T ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#HsuWLK15 %@ 978-1-4673-8389-9

@inproceedings{conf/iccad/HsuWLK15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Hsu, Chih-Jen and Wu, Chi-An and Lin, Wei-Hsun and Khoo, Kei-Yong}, biburl = {https://www.bibsonomy.org/bibtex/280c438fccab3dba88512d43ae41dcf32/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2015}, editor = {Marculescu, Diana and Liu, Frank}, ee = {http://dl.acm.org/citation.cfm?id=2840948}, interhash = {7f196acc034afa18aeeaa40c276aff38}, intrahash = {80c438fccab3dba88512d43ae41dcf32}, isbn = {978-1-4673-8389-9}, keywords = {dblp}, pages = {916-920}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:26.000+0200}, title = {ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2015.html#HsuWLK15}, year = 2015 }