diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-07-28 12:32:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-28 12:32:19 +0200 |
| commit | d19f9d0b66280d6d73275dbb030b91381ccda48b (patch) | |
| tree | eb30bf970887f0d56a69e2d55138f570475f1f2e | |
| parent | 23a39d707eca0ef9095bfaac7bf8c02dafd41619 (diff) | |
| download | yosys-d19f9d0b66280d6d73275dbb030b91381ccda48b.tar.gz yosys-d19f9d0b66280d6d73275dbb030b91381ccda48b.tar.bz2 yosys-d19f9d0b66280d6d73275dbb030b91381ccda48b.zip | |
Update README
| -rw-r--r-- | frontends/verific/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/README b/frontends/verific/README index 952fb1e0c..921873af3 100644 --- a/frontends/verific/README +++ b/frontends/verific/README @@ -1,7 +1,7 @@ This directory contains Verific bindings for Yosys. -Use Tabby CAD Suite from YosysHQ if you need Yosys+Verifc. +Use Tabby CAD Suite from YosysHQ if you need Yosys+Verific. https://www.yosyshq.com/ Contact YosysHQ at contact@yosyshq.com for free evaluation |