diff options
Diffstat (limited to 'passes/sat')
-rw-r--r-- | passes/sat/sim.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index b2425b531..0687e3e0f 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -961,6 +961,9 @@ struct SimWorker : SimShared log_assert(top == nullptr); fst = new FstData(sim_filename); + if (scope.empty()) + log_error("Scope must be defined for co-simulation.\n"); + top = new SimInstance(this, scope, topmod); std::vector<fstHandle> fst_clock; |