diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-16 10:25:22 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-05-14 10:33:56 -0700 |
| commit | 63246a5c0eb5780675384d00443e6e46b5e59603 (patch) | |
| tree | c211e6c2e8d38f354e32af69a11c8531c24190f4 /backends/aiger | |
| parent | 48052ad813db3561a959a1921466d571bafa354c (diff) | |
| download | yosys-63246a5c0eb5780675384d00443e6e46b5e59603.tar.gz yosys-63246a5c0eb5780675384d00443e6e46b5e59603.tar.bz2 yosys-63246a5c0eb5780675384d00443e6e46b5e59603.zip | |
Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"
This reverts commit 759283fa65b1195ebe3a5bc6890ec622febca0eb, reversing
changes made to f41c7ccfff4bf104c646ca4b85e079a0f91c9151.
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 6f0ed6e89..ddda1bd5a 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -293,10 +293,6 @@ struct XAigerWriter if (abc9_flop) continue; } - else { - if (cell->type == ID($__ABC9_DELAY)) - log_error("Cell type '%s' not recognised. Check that '+/abc9_model.v' has been read.\n", cell->type.c_str()); - } bool cell_known = inst_module || cell->known(); for (const auto &c : cell->connections()) { |