diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/techmap/techmap.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/techmap/techmap.cc b/passes/techmap/techmap.cc index 75ff4a6c8..913c8a730 100644 --- a/passes/techmap/techmap.cc +++ b/passes/techmap/techmap.cc @@ -352,6 +352,8 @@ struct TechmapPass : public Pass { for (auto &mod_it : design->modules) if (techmap_module(design, mod_it.second, map, handled_cells, celltypeMap, false, opt_mode)) did_something = true; + if (did_something) + design->check(); } log("No more expansions possible.\n"); |