aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--manual/command-reference-manual.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex
index 988f034b4..e2d54cb03 100644
--- a/manual/command-reference-manual.tex
+++ b/manual/command-reference-manual.tex
@@ -6652,11 +6652,11 @@ bindings (for Yosys and/or Verific developers):
Dump the Verific netlist as a verilog file.
-Use Symbiotic EDA Suite if you need Yosys+Verifc.
-https://www.symbioticeda.com/seda-suite
+Use YosysHQ Tabby CAD Suite if you need Yosys+Verific.
+https://www.yosyshq.com/\n");
-Contact office@symbioticeda.com for free evaluation
-binaries of Symbiotic EDA Suite.
+Contact office@yosyshq.com for free evaluation
+binaries of YosysHQ Tabby CAD Suite.
\end{lstlisting}
\section{verilog\_defaults -- set default options for read\_verilog}