mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 01:54:10 +00:00
Code Activity

equiv: Suggest running async2sync or clk2fflogic where appropriate.

Browse source 
See #2713.
This commit is contained in:
Marcelina Kościelnicka 2021-03-30 04:00:45 +02:00
parent ba2ff1ea98
commit b7ea71e6e3
2 changed files with 10 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
passes/equiv/equiv_induct.cc
View file

@ -55,7 +55,10 @@ struct EquivInductWorker
for (auto cell : cells) { for (auto cell : cells) {
if (!satgen.importCell(cell, step) && !cell_warn_cache.count(cell)) { if (!satgen.importCell(cell, step) && !cell_warn_cache.count(cell)) {
log_warning("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type)); if (RTLIL::builtin_ff_cell_types().count(cell->type))
log_warning("No SAT model available for async FF cell %s (%s). Consider running `async2sync` or `clk2fflogic` first.\n", log_id(cell), log_id(cell->type));
else
log_warning("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type));
cell_warn_cache.insert(cell); cell_warn_cache.insert(cell);
} }
if (cell->type == ID($equiv)) { if (cell->type == ID($equiv)) {

8
passes/equiv/equiv_simple.cc
View file

@ -184,8 +184,12 @@ struct EquivSimpleWorker
for (auto cell : problem_cells) { for (auto cell : problem_cells) {
auto key = pair<Cell*, int>(cell, step+1); auto key = pair<Cell*, int>(cell, step+1);
if (!imported_cells_cache.count(key) && !satgen.importCell(cell, step+1)) if (!imported_cells_cache.count(key) && !satgen.importCell(cell, step+1)) {
log_cmd_error("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type)); if (RTLIL::builtin_ff_cell_types().count(cell->type))
log_cmd_error("No SAT model available for async FF cell %s (%s). Consider running `async2sync` or `clk2fflogic` first.\n", log_id(cell), log_id(cell->type));
else
log_cmd_error("No SAT model available for cell %s (%s).\n", log_id(cell), log_id(cell->type));
}
imported_cells_cache.insert(key); imported_cells_cache.insert(key);
} }