%0 Conference Paper %1 conf/icicdt/KolluJKA12 %A Kollu, Kishore %A Jackson, Trey %A Kharas, Farhad %A Adke, Anant %B ICICDT %D 2012 %I IEEE %K dblp %P 1-5 %T Unifying design data during verification: Implementing Logic-Driven Layout analysis and debug. %U http://dblp.uni-trier.de/db/conf/icicdt/icicdt2012.html#KolluJKA12 %@ 978-1-4673-0146-6

@inproceedings{conf/icicdt/KolluJKA12, added-at = {2016-05-27T00:00:00.000+0200}, author = {Kollu, Kishore and Jackson, Trey and Kharas, Farhad and Adke, Anant}, biburl = {https://www.bibsonomy.org/bibtex/251fed9ddd714ee8765e9fb1cc37ecd3b/dblp}, booktitle = {ICICDT}, crossref = {conf/icicdt/2012}, ee = {http://dx.doi.org/10.1109/ICICDT.2012.6232874}, interhash = {058c3b243cb2f48dfdef3ac5f412296b}, intrahash = {51fed9ddd714ee8765e9fb1cc37ecd3b}, isbn = {978-1-4673-0146-6}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, timestamp = {2016-05-28T12:03:07.000+0200}, title = {Unifying design data during verification: Implementing Logic-Driven Layout analysis and debug.}, url = {http://dblp.uni-trier.de/db/conf/icicdt/icicdt2012.html#KolluJKA12}, year = 2012 }