diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-02-04 11:11:36 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-02-04 11:11:36 +0100 |
| commit | c0a156bcb43bb0bb42eb3f2d94c12cda9ca5ee37 (patch) | |
| tree | e78a74cb47d72a6358d612333d1640b8516d179d | |
| parent | 6db23de7b13c57eb82489d4bf2f0658b6deb4488 (diff) | |
| download | yosys-c0a156bcb43bb0bb42eb3f2d94c12cda9ca5ee37.tar.gz yosys-c0a156bcb43bb0bb42eb3f2d94c12cda9ca5ee37.tar.bz2 yosys-c0a156bcb43bb0bb42eb3f2d94c12cda9ca5ee37.zip | |
Error detection for co-simulation
| -rw-r--r-- | kernel/fstdata.cc | 2 | ||||
| -rw-r--r-- | passes/sat/sim.cc | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/kernel/fstdata.cc b/kernel/fstdata.cc index 0b62564f6..330c4d189 100644 --- a/kernel/fstdata.cc +++ b/kernel/fstdata.cc @@ -26,6 +26,8 @@ FstData::FstData(std::string filename) : ctx(nullptr) { const std::vector<std::string> g_units = { "s", "ms", "us", "ns", "ps", "fs", "as", "zs" }; ctx = (fstReaderContext *)fstReaderOpen(filename.c_str()); + if (!ctx) + log_error("Error opening '%s'\n", filename.c_str()); int scale = (int)fstReaderGetTimescale(ctx); timescale = pow(10.0, scale); timescale_str = ""; 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; |