%0 Conference Paper %1 conf/iccad/LiCJCY19 %A Li, Haocheng %A Chen, Gengjie %A Jiang, Bentian %A Chen, Jingsong %A Young, Evangeline F. Y. %B ICCAD %D 2019 %E Pan, David Z. %I ACM %K dblp %P 1-7 %T Dr. CU 2.0: A Scalable Detailed Routing Framework with Correct-by-Construction Design Rule Satisfaction. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2019.html#LiCJCY19 %@ 9781728123509

@inproceedings{conf/iccad/LiCJCY19, added-at = {2022-12-07T00:00:00.000+0100}, author = {Li, Haocheng and Chen, Gengjie and Jiang, Bentian and Chen, Jingsong and Young, Evangeline F. Y.}, biburl = {https://www.bibsonomy.org/bibtex/2e0461a01ac7fb789f36bf9ec713b2324/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2019}, editor = {Pan, David Z.}, ee = {https://doi.org/10.1109/ICCAD45719.2019.8942074}, interhash = {5d1c4f32c6602b68c106b93679f43b3e}, intrahash = {e0461a01ac7fb789f36bf9ec713b2324}, isbn = {9781728123509}, keywords = {dblp}, pages = {1-7}, publisher = {ACM}, timestamp = {2024-04-10T17:55:50.000+0200}, title = {Dr. CU 2.0: A Scalable Detailed Routing Framework with Correct-by-Construction Design Rule Satisfaction.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2019.html#LiCJCY19}, year = 2019 }