diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-11-10 23:24:21 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-11-10 23:24:21 +0100 |
commit | 378cc509cd7dcb9db9f1e1b4023ab686955bc9f6 (patch) | |
tree | c2779ef932231c89e6467b6d221e8abc36c11a38 /passes/techmap | |
parent | 223892ac286b1dd0d09bf2449cd8953b1029ae68 (diff) | |
download | yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.tar.gz yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.tar.bz2 yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.zip |
Call internal checker more often
Diffstat (limited to 'passes/techmap')
-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"); |