From 6b23046d3ff435426f2fddcc309c1f52583ee4d2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 30 Jan 2017 12:31:53 +0100 Subject: [PATCH] Fix typo --- docs/source/quickstart.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst index 5c04b39..6bcc107 100644 --- a/docs/source/quickstart.rst +++ b/docs/source/quickstart.rst @@ -70,7 +70,7 @@ fail because the output directory ``demo/`` already exists.) Time for a simple exercise: Modify the design so that the property is false and the offending state is reachable within 100 cycles. Re-run ``sby`` with -the modified design and see if the proof now fails. Inspect the counter example +the modified design and see if the proof now fails. Inspect the counterexample trace (``.vcd`` file) produced by ``sby``. (`GTKWave `_ is an open source VCD viewer that you can use.) -- 2.30.2