diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index d78da892f..a978b16b7 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1235,6 +1235,10 @@ struct SimInstance bool checkSignals() { + // No checks performed when using stimulus + if (shared->sim_mode == SimulationMode::sim) + return false; + bool retVal = false; for(auto &item : fst_handles) { if (item.second==0) continue; // Ignore signals not found @@ -1244,9 +1248,7 @@ struct SimInstance log_warning("Signal '%s.%s' size is different in gold and gate.\n", scope, log_id(item.first)); continue; } - if (shared->sim_mode == SimulationMode::sim) { - // No checks performed when using stimulus - } else if (shared->sim_mode == SimulationMode::gate && !fst_val.is_fully_def()) { // FST data contains X + if (shared->sim_mode == SimulationMode::gate && !fst_val.is_fully_def()) { // FST data contains X for(int i=0;i