diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-12-18 13:06:34 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-12-18 13:06:34 +0100 |
| commit | 22dd9f107c8986463041709aabcd0c886c87d33f (patch) | |
| tree | 0c7bdfe936e398e6c4eb85c6772d15e2905c4ef9 /frontends/verific/README | |
| parent | a73f96594f4688afc85098b485ef7788e79f5c33 (diff) | |
| download | yosys-22dd9f107c8986463041709aabcd0c886c87d33f.tar.gz yosys-22dd9f107c8986463041709aabcd0c886c87d33f.tar.bz2 yosys-22dd9f107c8986463041709aabcd0c886c87d33f.zip | |
Send people to symbioticeda.com instead of verific.com
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/README')
| -rw-r--r-- | frontends/verific/README | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/frontends/verific/README b/frontends/verific/README index 89584f2e8..c37d76343 100644 --- 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 |