diff options
author | Claire Xen <claire@clairexen.net> | 2021-03-04 16:43:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-04 16:43:30 +0100 |
commit | 6c56c083f8c55d28a3dc0dc8e17a611fd31a2261 (patch) | |
tree | f0235279f51b31e4827d6d1828d365b64c926655 | |
parent | 375af199ef4df45ccf02c66e0171b4282c6cf1eb (diff) | |
download | yosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.tar.gz yosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.tar.bz2 yosys-6c56c083f8c55d28a3dc0dc8e17a611fd31a2261.zip |
Update README
-rw-r--r-- | frontends/verific/README | 8 |
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 |