From 8e42c7b4e921695190e4a14522b1d005a078d66d Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Sat, 9 Sep 2023 21:28:46 +0200 Subject: [PATCH] Fixed issue-1472 (strm2oas: def path with first/last segment length < halfwidth are read wrong) --- .../lefdef/db_plugin/dbDEFImporter.cc | 43 ++++++++++++++++-- .../lefdef/unit_tests/dbLEFDEFImportTests.cc | 8 +++- testdata/lefdef/issue-1472/au.oas | Bin 0 -> 547 bytes testdata/lefdef/issue-1472/tech.lef.gz | Bin 0 -> 129 bytes testdata/lefdef/issue-1472/tech.map | 2 + testdata/lefdef/issue-1472/test.def.gz | Bin 0 -> 218 bytes 6 files changed, 49 insertions(+), 4 deletions(-) create mode 100644 testdata/lefdef/issue-1472/au.oas create mode 100644 testdata/lefdef/issue-1472/tech.lef.gz create mode 100644 testdata/lefdef/issue-1472/tech.map create mode 100644 testdata/lefdef/issue-1472/test.def.gz diff --git a/src/plugins/streamers/lefdef/db_plugin/dbDEFImporter.cc b/src/plugins/streamers/lefdef/db_plugin/dbDEFImporter.cc index c36f6a114..873bf8dd1 100644 --- a/src/plugins/streamers/lefdef/db_plugin/dbDEFImporter.cc +++ b/src/plugins/streamers/lefdef/db_plugin/dbDEFImporter.cc @@ -424,17 +424,53 @@ DEFImporter::produce_routing_geometry (db::Cell &design, const Polygon *style, u } } - if (options ().joined_paths ()) { + auto pt_from = pt0; + auto pt_to = pt + 1; + + // do not split away end segments if they are shorter than half the width + bool dont_join_first = false; + bool dont_join_last = false; + if (pt_to - pt_from >= 3 && (pt_from[1] - pt_from[0]).length() + be < wxy / 2) { + dont_join_first = true; + } + if (pt_to - pt_from >= 3 && (pt_to[-1] - pt_to[-2]).length() + ee < wxy / 2) { + dont_join_last = true; + } + + if (options ().joined_paths () || (dont_join_first && dont_join_last && pt_to - pt_from <= 4)) { + // single path - db::Path p (pt0, pt + 1, wxy, be, ee, false); + db::Path p (pt_from, pt_to, wxy, be, ee, false); if (prop_id != 0) { design.shapes (layer).insert (db::object_with_properties (p, prop_id)); } else { design.shapes (layer).insert (p); } + } else { + + if (dont_join_first) { + db::Path p (pt_from, pt_from + 3, wxy, be, pt_from + 2 != pt ? wxy / 2 : ee, false); + if (prop_id != 0) { + design.shapes (layer).insert (db::object_with_properties (p, prop_id)); + } else { + design.shapes (layer).insert (p); + } + pt_from += 2; + } + + if (dont_join_last) { + db::Path p (pt_to - 3, pt_to, wxy, pt_to - 3 != pt0 ? wxy / 2 : be, ee, false); + if (prop_id != 0) { + design.shapes (layer).insert (db::object_with_properties (p, prop_id)); + } else { + design.shapes (layer).insert (p); + } + pt_to -= 2; + } + // multipart paths - for (std::vector::const_iterator i = pt0; i != pt; ++i) { + for (auto i = pt_from; i + 1 != pt_to; ++i) { db::Path p (i, i + 2, wxy, i == pt0 ? be : wxy / 2, i + 1 != pt ? wxy / 2 : ee, false); if (prop_id != 0) { design.shapes (layer).insert (db::object_with_properties (p, prop_id)); @@ -442,6 +478,7 @@ DEFImporter::produce_routing_geometry (db::Cell &design, const Polygon *style, u design.shapes (layer).insert (p); } } + } was_path_before = true; diff --git a/src/plugins/streamers/lefdef/unit_tests/dbLEFDEFImportTests.cc b/src/plugins/streamers/lefdef/unit_tests/dbLEFDEFImportTests.cc index a6c99e04d..82aa606f4 100644 --- a/src/plugins/streamers/lefdef/unit_tests/dbLEFDEFImportTests.cc +++ b/src/plugins/streamers/lefdef/unit_tests/dbLEFDEFImportTests.cc @@ -429,7 +429,7 @@ TEST(def16) // (complete example) db::LEFDEFReaderOptions opt = default_options (); opt.set_macro_resolution_mode (1); - run_test (_this, "def16", "lef:a.lef+lef:tech.lef+def:a.def", "au_2.oas.gz", opt); + run_test (_this, "def16", "lef:a.lef+lef:tech.lef+def:a.def", "au_3.oas.gz", opt); } TEST(100) @@ -1005,3 +1005,9 @@ TEST(208_nets_and_rects) run_test (_this, "issue-1432", "map:test.map+lef:test.lef+def:test.def", "au.oas", default_options (), false); } +// issue-1472 +TEST(209_invalid_split_paths) +{ + run_test (_this, "issue-1472", "map:tech.map+lef:tech.lef.gz+def:test.def.gz", "au.oas", default_options (), false); +} + diff --git a/testdata/lefdef/issue-1472/au.oas b/testdata/lefdef/issue-1472/au.oas new file mode 100644 index 0000000000000000000000000000000000000000..5b7f492968b0ca83033fc60ce0746a2b88c8b28f GIT binary patch literal 547 zcmY!lcJ=kt^>+;R4CduxWH!_@V0gjKC?n3q!6L)YEF;ds&!EJR>XUoMnybM;fb~F; z;|1o9>4KX(8~>b$4qRRSKbqrK6n{_8gJqfl!9jtCZ5=b5TtyycO>kl0Wf1!p#5k9Uk%3W}v6!)mk&&TcWB~>S E0IWaVwEzGB literal 0 HcmV?d00001 diff --git a/testdata/lefdef/issue-1472/tech.lef.gz b/testdata/lefdef/issue-1472/tech.lef.gz new file mode 100644 index 0000000000000000000000000000000000000000..20f328c3b8470ffdc95f2b866987f61d4eacc20b GIT binary patch literal 129 zcmV-{0Dk`;iwFn_sQF|719W9$XfAAJW&nN6F$#b%3|L4G(3|zOM;)ID{<5^-z&{=B%MnhqNT$%A$NMIvH-`A3soj_t%4r`+= jZT4Us+)L-IjXlA4(fux7_WnIjf>O*0q0dK>xBvhEHvKx^ literal 0 HcmV?d00001 diff --git a/testdata/lefdef/issue-1472/tech.map b/testdata/lefdef/issue-1472/tech.map new file mode 100644 index 000000000..53bfddcd6 --- /dev/null +++ b/testdata/lefdef/issue-1472/tech.map @@ -0,0 +1,2 @@ +METAL3 SPNET 28 0 +METAL5 SPNET 33 0 diff --git a/testdata/lefdef/issue-1472/test.def.gz b/testdata/lefdef/issue-1472/test.def.gz new file mode 100644 index 0000000000000000000000000000000000000000..638a593c5218b12ebbd28e0201f962bfee22b15b GIT binary patch literal 218 zcmV<0044t)iwFq0#{6Ue19W9`bS`9NW&nMWKM#U15XJX?iZ_bJq|iT>I1$>ICRmMy zI6E-PBHurrpav7L)4SLE-CeKNMSlqB+eeQ*Yl5#MtdDgON{6E_FQ*WZa?a_N#j`7Y zQ3Xdyf(&fYwS9NHw+tIxPEGAB!_n16C6F186|~uLNKHDSXbqurHArccqBuct*Egfy zjG_aTW&Ahsg-iK$HDAD`p&XN|Ps^R*qf}ZfGgMB_bxc2V3{(A~vsqkBo-sCOv^W