diff --git a/passes/techmap/cellmatch.cc b/passes/techmap/cellmatch.cc index 5301cc99bfd..d1da6babd63 100644 --- a/passes/techmap/cellmatch.cc +++ b/passes/techmap/cellmatch.cc @@ -136,7 +136,7 @@ struct CellmatchPass : Pass { log("selected modules and a module from the secondary design . For every such\n"); log("correspondence found, a techmap rule is generated for mapping instances of the\n"); log("former to instances of the latter. This techmap rule is saved in yet another\n"); - log("design called '$cellmatch_map', which is created if non-existent.\n"); + log("design called '$cellmatch', which is created if non-existent.\n"); log("\n"); log("This pass restricts itself to combinational modules. Modules are functionally\n"); log("equivalent as long as their truth tables are identical upto a permutation of\n"); @@ -192,7 +192,7 @@ struct CellmatchPass : Pass { targets[p_classes].push_back(Target{m, luts}); } - auto r = saved_designs.emplace("$cellmatch_map", nullptr); + auto r = saved_designs.emplace("$cellmatch", nullptr); if (r.second) r.first->second = new Design; Design *map_design = r.first->second; diff --git a/tests/techmap/cellmatch.ys b/tests/techmap/cellmatch.ys index 46960fc1430..bea2f598d94 100644 --- a/tests/techmap/cellmatch.ys +++ b/tests/techmap/cellmatch.ys @@ -61,7 +61,7 @@ prep cellmatch -lib gatelib FA A:gate design -save gold -techmap -map %$cellmatch_map +techmap -map %$cellmatch design -save gate select -assert-none ripple_carry/t:FA