mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-11 13:40:53 +00:00
Code Activity

Docs: Fix cmd links from bugpoint docs

Browse source
This commit is contained in:
Krystine Sherwin 2025-08-06 13:52:13 +12:00
parent ab403635e3
commit 20a51742f4
No known key found for this signature in database
2 changed files with 14 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/using_yosys/bugpoint.rst
View file

@ -185,7 +185,7 @@ the failure, you can use the ``bugpoint_keep`` attribute. This can be done with
``setattr -set bugpoint_keep 1 [selection]`` from a Yosys script. It is also ``setattr -set bugpoint_keep 1 [selection]`` from a Yosys script. It is also
possible to limit `bugpoint` to only removing certain *kinds* of objects, such possible to limit `bugpoint` to only removing certain *kinds* of objects, such
as only removing entire modules or cells (instances of modules). For more about as only removing entire modules or cells (instances of modules). For more about
the options available, check ``help bugpoint`` or :doc:`/cmd/bugpoint`. the options available, check ``help bugpoint`` or :cmd:title:`bugpoint`.
In some situations, it may also be helpful to use `setenv` before `bugpoint` to In some situations, it may also be helpful to use `setenv` before `bugpoint` to
set environment variables for the spawned processes. An example of this is set environment variables for the spawned processes. An example of this is

20
docs/source/using_yosys/more_scripting/load_design.rst
View file

@ -57,6 +57,7 @@ The `read` command
Yosys frontends Yosys frontends
~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~
- :doc:`/cmd/index_frontends`
- typically start with ``read_`` - typically start with ``read_``
- built-in support for heredocs - built-in support for heredocs
@ -86,7 +87,12 @@ Yosys frontends
The `read_verilog` command The `read_verilog` command
"""""""""""""""""""""""""" """"""""""""""""""""""""""
- :doc:`/cmd/index_frontends` - :cmd:title:`read_verilog`; also
+ :cmd:title:`verilog_defaults`,
+ :cmd:title:`verilog_defines`, and
+ :cmd:title:`read_verilog_file_list`
- supports most of Verilog-2005 - supports most of Verilog-2005
- limited support for SystemVerilog - limited support for SystemVerilog
- some non-standard features/extensions for enabling formal verification - some non-standard features/extensions for enabling formal verification
@ -117,12 +123,12 @@ The `read_verilog` command
Other built-in ``read_*`` commands Other built-in ``read_*`` commands
"""""""""""""""""""""""""""""""""" """"""""""""""""""""""""""""""""""
- :doc:`/cmd/read_rtlil` - :cmd:title:`read_rtlil`
- :doc:`/cmd/read_aiger` - :cmd:title:`read_aiger`
- :doc:`/cmd/read_blif` - :cmd:title:`read_blif`
- :doc:`/cmd/read_json` - :cmd:title:`read_json`
- :doc:`/cmd/read_liberty` - :cmd:title:`read_liberty`
- :doc:`/cmd/read_xaiger2` - :cmd:title:`read_xaiger2`
.. TODO:: does `write_file` count? .. TODO:: does `write_file` count?