SDC: Add set_false_path command
Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
diff --git a/sdc-plugin/clocks.h b/sdc-plugin/clocks.h
index ff02bd5..f5b491c 100644
--- a/sdc-plugin/clocks.h
+++ b/sdc-plugin/clocks.h
@@ -71,6 +71,9 @@
void Propagate(BufferPropagation* pass);
void Propagate(ClockDividerPropagation* pass);
void WriteSdc(std::ostream& file);
+ const std::vector<Clock> GetClocks() {
+ return clocks_;
+ }
private:
std::vector<Clock> clocks_;
diff --git a/sdc-plugin/sdc.cc b/sdc-plugin/sdc.cc
index 4233d01..5f8cad1 100644
--- a/sdc-plugin/sdc.cc
+++ b/sdc-plugin/sdc.cc
@@ -21,6 +21,8 @@
#include "kernel/register.h"
#include "kernel/rtlil.h"
#include "propagation.h"
+#include "set_false_path.h"
+#include "sdc_writer.h"
USING_YOSYS_NAMESPACE
@@ -57,8 +59,8 @@
};
struct WriteSdcCmd : public Backend {
- WriteSdcCmd(Clocks& clocks)
- : Backend("sdc", "Write SDC file"), clocks_(clocks) {}
+ WriteSdcCmd(Clocks& clocks, SdcWriter& sdc_writer)
+ : Backend("sdc", "Write SDC file"), clocks_(clocks), sdc_writer_(sdc_writer) {}
void help() override {
log("\n");
@@ -75,10 +77,11 @@
}
log("\nWriting out clock constraints file(SDC)\n");
extra_args(f, filename, args, 1);
- clocks_.WriteSdc(*f);
+ sdc_writer_.WriteSdc(clocks_, *f);
}
Clocks& clocks_;
+ SdcWriter& sdc_writer_;
};
struct CreateClockCmd : public Pass {
@@ -246,10 +249,11 @@
class SdcPlugin {
public:
SdcPlugin()
- : write_sdc_cmd_(clocks_),
+ : write_sdc_cmd_(clocks_, sdc_writer_),
create_clock_cmd_(clocks_),
get_clocks_cmd_(clocks_),
- propagate_clocks_cmd_(clocks_) {
+ propagate_clocks_cmd_(clocks_),
+ set_false_path_cmd_(sdc_writer_) {
log("Loaded SDC plugin\n");
}
@@ -258,9 +262,11 @@
CreateClockCmd create_clock_cmd_;
GetClocksCmd get_clocks_cmd_;
PropagateClocksCmd propagate_clocks_cmd_;
+ SetFalsePath set_false_path_cmd_;
private:
Clocks clocks_;
+ SdcWriter sdc_writer_;
} SdcPlugin;
PRIVATE_NAMESPACE_END
diff --git a/sdc-plugin/set_false_path.cc b/sdc-plugin/set_false_path.cc
new file mode 100644
index 0000000..72bb41c
--- /dev/null
+++ b/sdc-plugin/set_false_path.cc
@@ -0,0 +1,90 @@
+/*
+ * yosys -- Yosys Open SYnthesis Suite
+ *
+ * Copyright (C) 2020 The Symbiflow Authors
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ */
+#include "set_false_path.h"
+#include <regex>
+#include "kernel/log.h"
+#include "sdc_writer.h"
+
+USING_YOSYS_NAMESPACE
+
+void SetFalsePath::help() {
+ // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
+ log("\n");
+ log(" set_false_path [-quiet] [-from <net_name>] [-to <net_name>] \n");
+ log("\n");
+ log("Set false path on the specified net\n");
+ log("\n");
+ log("Print the output to stdout too. This is useful when all Yosys is "
+ "executed.\n");
+ log("\n");
+ log(" -quiet\n");
+ log(" Don't print the result of the execution to stdout.\n");
+ log("\n");
+ log(" -from\n");
+ log(" List of start points or clocks.\n");
+ log("\n");
+ log(" -to\n");
+ log(" List of end points or clocks.\n");
+ log("\n");
+}
+
+void SetFalsePath::execute(std::vector<std::string> args,
+ RTLIL::Design* design) {
+ RTLIL::Module* top_module = design->top_module();
+ if (top_module == nullptr) {
+ log_cmd_error("No top module detected\n");
+ }
+
+ size_t argidx;
+ bool is_quiet = false;
+ std::string from_pin;
+ std::string to_pin;
+
+ // Parse command arguments
+ for (argidx = 1; argidx < args.size(); argidx++) {
+ std::string arg = args[argidx];
+ if (arg == "-quiet") {
+ is_quiet = true;
+ continue;
+ }
+
+ if (arg == "-from" and argidx + 1 < args.size()) {
+ from_pin = args[++argidx];
+ log("From: %s\n", from_pin.c_str());
+ continue;
+ }
+
+ if (arg == "-to" and argidx + 1 < args.size()) {
+ to_pin = args[++argidx];
+ log("To: %s\n", to_pin.c_str());
+ continue;
+ }
+
+ if (arg.size() > 0 and arg[0] == '-') {
+ log_cmd_error("Unknown option %s.\n", arg.c_str());
+ }
+
+ break;
+ }
+ if (!is_quiet) {
+ std::string msg = (from_pin.empty()) ? "" : "-from " + from_pin;
+ msg += (to_pin.empty()) ? "" : " -to " + to_pin;
+ log("Adding false path %s\n", msg.c_str());
+ }
+ sdc_writer_.AddFalsePath(FalsePath{.from_pin = from_pin, .to_pin = to_pin});
+}
diff --git a/sdc-plugin/set_false_path.h b/sdc-plugin/set_false_path.h
new file mode 100644
index 0000000..47bf08a
--- /dev/null
+++ b/sdc-plugin/set_false_path.h
@@ -0,0 +1,39 @@
+/*
+ * yosys -- Yosys Open SYnthesis Suite
+ *
+ * Copyright (C) 2020 The Symbiflow Authors
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ */
+#ifndef _SET_FALSE_PATH_H_
+#define _SET_FALSE_PATH_H_
+
+#include "kernel/register.h"
+#include "kernel/rtlil.h"
+#include "sdc_writer.h"
+
+USING_YOSYS_NAMESPACE
+
+struct SetFalsePath : public Pass {
+ SetFalsePath(SdcWriter& sdc_writer)
+ : Pass("set_false_path", "Set false path on net"),
+ sdc_writer_(sdc_writer) {}
+
+ void help() override;
+
+ void execute(std::vector<std::string> args, RTLIL::Design* design) override;
+
+ SdcWriter& sdc_writer_;
+};
+
+#endif //_SET_FALSE_PATH_H_
