update info on GH tokens
diff --git a/INFO.md b/INFO.md
index a65fcf7..2f7388e 100644
--- a/INFO.md
+++ b/INFO.md
@@ -94,7 +94,7 @@
GH_USERNAME should be set to your GitHub username.
-To generate your GH_TOKEN go to https://github.com/settings/tokens/new . You don't need to tick any boxes in the form, the default is fine.
+To generate your GH_TOKEN go to https://github.com/settings/tokens/new . Set the checkboxes for repo and workflow.
To run locally, make a file like this:
diff --git a/verification.md b/verification.md
index ea0cf4f..1889106 100644
--- a/verification.md
+++ b/verification.md
@@ -6,6 +6,19 @@
See the sections below for details on each type of verification.
+# Setup
+
+You will need the GitHub tokens setup as described in [INFO](INFO.md#instructions-to-build-gds).
+
+The default of 498 projects takes a very long time to simulate, so I advise overriding the configuration:
+
+ # fetch the test projects
+ ./configure.py --test --update-projects
+ # rebuild config with only 20 projects
+ ./configure.py --test --update-caravel --limit 20
+
+You will also need iVerilog & cocotb. The easist way to install these are to download and install the [oss-cad-suite](https://github.com/YosysHQ/oss-cad-suite-build).
+
## Simulations
* Simulation of some test projects at RTL and GL level.
@@ -13,14 +26,6 @@
* Check wait state setting.
* Check clock divider setting.
-There are some testbenches that you can use to check the scan chain and controller is working.
-The default of 498 projects takes a very long time to simulate, so I advise overriding the configuration first:
-
- # fetch the test projects
- ./configure.py --test --update-projects
- # rebuild config with only 20 projects
- ./configure.py --test --update-caravel --limit 20
-
### Scan controller
This test only instantiates user_project_wrapper (which contains all the small projects). It doesn't simulate the rest of the ASIC.