From de5b9b782175e7ada189f4c5c9357d449dc3b87f Mon Sep 17 00:00:00 2001 From: KrystalDelusion Date: Fri, 1 Jul 2022 11:29:33 +1200 Subject: [PATCH] Changed phrasing to avoid confusion on witnesses --- docs/source/newstart.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/newstart.rst b/docs/source/newstart.rst index 2828cb6..f421fe2 100644 --- a/docs/source/newstart.rst +++ b/docs/source/newstart.rst @@ -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