From: addw@fa2f8cb1790dfac204f803a3bfd8edda6ef3edc6 <addw@web>
Date: Wed, 3 Mar 2021 14:36:32 +0000 (+0000)
Subject: Wrong link corrected
X-Git-Tag: convert-csv-opcode-to-binary~93
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f24b4a7688b6926eaa3aa6be9b145e9b7ceb4a95;p=libreriscv.git

Wrong link corrected
---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 9413fbf65..64ee2e46c 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -310,8 +310,7 @@ RTL [Register Transfer Level](https://en.wikipedia.org/wiki/Register-transfer_le
 
 ## symbiyosys
 
-Follow the instructions here:
-<https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing>
+To install follow the [instructions here](https://symbiyosys.readthedocs.io/en/latest/install.html) Once done look at [A simple BMC example](https://symbiyosys.readthedocs.io/en/latest/quickstart.html)
 
 You do not have to install all of those (avy, boolector can be left
 out if desired) however the more that are installed the more effective