From ad8730fa44e73cb7b6f9566873db71228ca60e30 Mon Sep 17 00:00:00 2001 From: KrystalDelusion Date: Mon, 8 Aug 2022 21:30:31 +1200 Subject: [PATCH] Fix typo --- docs/source/newstart.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/newstart.rst b/docs/source/newstart.rst index 98468ae..79604f7 100644 --- a/docs/source/newstart.rst +++ b/docs/source/newstart.rst @@ -229,7 +229,7 @@ while still passing all of the tests? Once the tests are passing with ``MAX_DATA=17``, try something bigger, like 64, or 100. Does the ``basic`` task still pass? What about ``cover``? By default, -``bmc & cover`` modes will run to a depth of 20 cycles. If a maximum of one +``bmc`` & ``cover`` modes will run to a depth of 20 cycles. If a maximum of one value can be loaded in each cycle, how many cycles will it take to load 100 values? Using the :ref:`.sby reference page `, try to increase the cover mode depth to be at least a few cycles larger than the