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

Docs: Some other fixes

This commit is contained in:
Krystine Sherwin 2024-08-22 10:03:59 +12:00
parent 8145461c78
commit 6431534c24
No known key found for this signature in database
2 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -30,10 +30,9 @@ keyword: Frontends
.. 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
command, requires Yosys to be built with Verific. This is not the same as
simply having a Verific license when using Yosys. Check
:doc:`/yosys_internals/extending_yosys/build_verific` for more.
Others:

2
docs/source/yosys_internals/extending_yosys/extensions.rst
View File

@ -8,8 +8,6 @@ Writing extensions
.. todo:: update to use :file:`/code_examples/extensions/test*.log`
.. todo:: should this be moved to yosys_source section?
This chapter contains some bits and pieces of information about programming
yosys extensions. Don't be afraid to ask questions on the YosysHQ Slack.