aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClaire Xen <claire@clairexen.net>2021-03-04 16:43:30 +0100
committerGitHub <noreply@github.com>2021-03-04 16:43:30 +0100
commit6c56c083f8c55d28a3dc0dc8e17a611fd31a2261 (patch)
treef0235279f51b31e4827d6d1828d365b64c926655
parent375af199ef4df45ccf02c66e0171b4282c6cf1eb (diff)
downloadyosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.tar.gz
yosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.tar.bz2
yosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.zip
Update README
-rw-r--r--frontends/verific/README8
1 files changed, 4 insertions, 4 deletions
diff --git a/frontends/verific/README b/frontends/verific/README
index c37d76343..952fb1e0c 100644
--- a/frontends/verific/README
+++ b/frontends/verific/README
@@ -1,11 +1,11 @@
This directory contains Verific bindings for Yosys.
-Use Symbiotic EDA Suite if you need Yosys+Verifc.
-https://www.symbioticeda.com/seda-suite
+Use Tabby CAD Suite from YosysHQ if you need Yosys+Verifc.
+https://www.yosyshq.com/
-Contact office@symbioticeda.com for free evaluation
-binaries of Symbiotic EDA Suite.
+Contact YosysHQ at contact@yosyshq.com for free evaluation
+binaries of Tabby CAD Suite.
Verific Features that should be enabled in your Verific library