diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc index 04d5fd423..a006ae649 100644 --- a/frontends/liberty/liberty.cc +++ b/frontends/liberty/liberty.cc @@ -213,7 +213,6 @@ static void create_ff(RTLIL::Module *module, const LibertyAst *node) bool clk_polarity = true, clear_polarity = true, preset_polarity = true; const std::string name = RTLIL::unescape_id(module->name); - bool clear_preset_reported = false; std::optional clear_preset_var1; std::optional clear_preset_var2; for (auto child : node->children) { @@ -234,12 +233,6 @@ static void create_ff(RTLIL::Module *module, const LibertyAst *node) } } - if (clear_preset_var1 == 'X' || clear_preset_var2 == 'X') { - if (!clear_preset_reported) { - log_warning("FF cell %s has well-defined clear&preset behavior, but Yosys models it as undefined\n", name); - clear_preset_reported = true; - } - } if (clk_sig.size() == 0 || data_sig.size() == 0) log_error("FF cell %s has no next_state and/or clocked_on attribute.\n", name); @@ -844,3 +837,4 @@ skip_cell:; YOSYS_NAMESPACE_END +