Send people to symbioticeda.com instead of verific.com

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/README b/frontends/verific/README
index 89584f2e8554144f4f70215964858df22b30b132..c37d76343466fe737ae2847969926cbda343bf48 100644 (file)
--- a/frontends/verific/README
+++ b/frontends/verific/README
@@ -1,7 +1,11 @@
 
-
 This directory contains Verific bindings for Yosys.
-See http://www.verific.com/ for details.
+
+Use Symbiotic EDA Suite if you need Yosys+Verifc.
+https://www.symbioticeda.com/seda-suite
+
+Contact office@symbioticeda.com for free evaluation
+binaries of Symbiotic EDA Suite.
 
 
 Verific Features that should be enabled in your Verific library

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 843e7b9b4a32820b190aace2fc3a99040fd42de0..9274cf5ca5f8586878491c3d82f8632c80dc32e1 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2065,7 +2065,12 @@ struct VerificPass : public Pass {
                log("  -d <dump_file>\n");
                log("    Dump the Verific netlist as a verilog file.\n");
                log("\n");
-               log("Visit http://verific.com/ for more information on Verific.\n");
+               log("\n");
+               log("Use Symbiotic EDA Suite if you need Yosys+Verifc.\n");
+               log("https://www.symbioticeda.com/seda-suite\n");
+               log("\n");
+               log("Contact office@symbioticeda.com for free evaluation\n");
+               log("binaries of Symbiotic EDA Suite.\n");
                log("\n");
        }
 #ifdef YOSYS_ENABLE_VERIFIC
@@ -2074,7 +2079,13 @@ struct VerificPass : public Pass {
                static bool set_verific_global_flags = true;
 
                if (check_noverific_env())
-                       log_cmd_error("This version of Yosys is built without Verific support.\n");
+                       log_cmd_error("This version of Yosys is built without Verific support.\n"
+                                       "\n"
+                                       "Use Symbiotic EDA Suite if you need Yosys+Verifc.\n"
+                                       "https://www.symbioticeda.com/seda-suite\n"
+                                       "\n"
+                                       "Contact office@symbioticeda.com for free evaluation\n"
+                                       "binaries of Symbiotic EDA Suite.\n");
 
                log_header(design, "Executing VERIFIC (loading SystemVerilog and VHDL designs using Verific).\n");
 
@@ -2493,7 +2504,13 @@ struct VerificPass : public Pass {
        }
 #else /* YOSYS_ENABLE_VERIFIC */
        void execute(std::vector<std::string>, RTLIL::Design *) YS_OVERRIDE {
-               log_cmd_error("This version of Yosys is built without Verific support.\n");
+               log_cmd_error("This version of Yosys is built without Verific support.\n"
+                               "\n"
+                               "Use Symbiotic EDA Suite if you need Yosys+Verifc.\n"
+                               "https://www.symbioticeda.com/seda-suite\n"
+                               "\n"
+                               "Contact office@symbioticeda.com for free evaluation\n"
+                               "binaries of Symbiotic EDA Suite.\n");
        }
 #endif
 } VerificPass;