SDC parsing support (#1348)

* kernel: Add SDC file parser * kernel: Add sdc as valid option * kernel/sdc: Add error on EOF when fetching strings * kernel/sdc: WIP command parsing for set_false_path * kernel/sdc: Fully parse set_false_path * kernel/sdc: Handle review comments
YosysHQ · Aug 12, 2024 · 0d5d329 · 0d5d329
1 parent f199c3e
commit 0d5d329
Show file tree

Hide file tree

Showing 3 changed files with 465 additions and 0 deletions.
diff --git a/common/kernel/command.cc b/common/kernel/command.cc
@@ -375,6 +375,7 @@ po::options_description CommandHandler::getGeneralOptions()
     general.add_options()("freq", po::value<double>(), "set target frequency for design in MHz");
     general.add_options()("timing-allow-fail", "allow timing to fail in design");
     general.add_options()("no-tmdriv", "disable timing-driven placement");
+    general.add_options()("sdc", po::value<std::string>(), "Generic timing constraints SDC file to load");
     general.add_options()("sdf", po::value<std::string>(), "SDF delay back-annotation file to write");
     general.add_options()("sdf-cvc", "enable tweaks for SDF file compatibility with the CVC simulator");
     general.add_options()("no-print-critical-path-source",
@@ -605,6 +606,13 @@ int CommandHandler::executeMain(std::unique_ptr<Context> ctx)
                 std::ifstream f(filename);
                 if (!parse_json(f, filename, w.getContext()))
                     log_error("Loading design failed.\n");
+
+                if (vm.count("sdc")) {
+                    std::string sdc_filename = vm["sdc"].as<std::string>();
+                    std::ifstream sdc_stream(sdc_filename);
+                    ctx->read_sdc(sdc_stream);
+                }
+
                 customAfterLoad(w.getContext());
                 w.notifyChangeContext();
                 w.updateActions();
@@ -613,6 +621,7 @@ int CommandHandler::executeMain(std::unique_ptr<Context> ctx)
         } catch (log_execution_error_exception) {
             // show error is handled by gui itself
         }
+
         w.show();
 
         return a.exec();
@@ -624,6 +633,12 @@ int CommandHandler::executeMain(std::unique_ptr<Context> ctx)
         if (!parse_json(f, filename, ctx.get()))
             log_error("Loading design failed.\n");
 
+        if (vm.count("sdc")) {
+            std::string sdc_filename = vm["sdc"].as<std::string>();
+            std::ifstream sdc_stream(sdc_filename);
+            ctx->read_sdc(sdc_stream);
+        }
+
         customAfterLoad(ctx.get());
     }
 

diff --git a/common/kernel/context.h b/common/kernel/context.h
@@ -105,6 +105,10 @@ struct Context : Arch, DeterministicRNG
     // provided by timing_log.cc
     void log_timing_results(TimingResult &result, bool print_histogram, bool print_fmax, bool print_path,
                             bool warn_on_failure);
+
+    // provided by sdc.cc
+    void read_sdc(std::istream &in);
+
     // --------------------------------------------------------------
 
     uint32_t checksum() const;