Update command-reference-manual.tex
authorClaire Xen <claire@clairexen.net>
Thu, 4 Mar 2021 15:45:21 +0000 (16:45 +0100)
committerGitHub <noreply@github.com>
Thu, 4 Mar 2021 15:45:21 +0000 (16:45 +0100)
manual/command-reference-manual.tex

index 988f034b4bc34b9ef9a09b6b5ab80cd551d61c5a..e2d54cb03c5bfbb58c2d2a1224c03e73bd985ea5 100644 (file)
@@ -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}