riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Docs: Add note on verific 

Having a verific license does not provide access to the verific frontend.
This commit is contained in:
Krystine Sherwin 2024-08-22 10:03:58 +12:00
parent 27c1432253
commit 2ffafadf22
No known key found for this signature in database
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/source/using_yosys/more_scripting/load_design.rst
View File

@ -27,6 +27,14 @@ keyword: Frontends
.. todo:: more info on other ``read_*`` commands, also is this the first time we .. todo:: more info on other ``read_*`` commands, also is this the first time we
mention verific? mention verific?
.. note::
The Verific frontend for Yosys, which provides the :cmd:ref:`verific`
command, requires the commercial `Tabby CAD Suite`_. This is not the same as
simply having a Verific license when using Yosys.
.. _Tabby CAD Suite: https://www.yosyshq.com/tabby-cad-datasheet
Others: Others:
- :doc:`/cmd/read` - :doc:`/cmd/read`

3
docs/source/using_yosys/synthesis/memory.rst
View File

@ -697,6 +697,9 @@ TDP with multiple read ports
Patterns only supported with Verific Patterns only supported with Verific
------------------------------------ ------------------------------------
The following patterns are only supported when Yosys is built with the Verific
front-end.
Synchronous SDP with write-first behavior via blocking assignments Synchronous SDP with write-first behavior via blocking assignments
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~