mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

Changed phrasing to avoid confusion on witnesses

Browse source
This commit is contained in:
KrystalDelusion 2022-07-01 11:29:33 +12:00
parent aab2c3c2e0
commit de5b9b7821
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/source/newstart.rst
View file

@ -174,10 +174,10 @@ to a higher value than the write address.
.. image:: media/gtkwave_noskip.png
During correct operation, the ``w_underfill`` witness will cover the underflow
During correct operation, the ``w_underfill`` statement will cover the underflow
case. Examining ``fifo_cover/logfile.txt`` will reveal which trace file
includes the witness we are looking for. If this file doesn't exist, run the
code below.
includes the cover statment we are looking for. If this file doesn't exist, run
the code below.
sby fifo.sby cover