Wrong link corrected

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 9413fbf650e97125619f681ab38793f786cb1fee..64ee2e46c31c9251b6ced29fac157699da495d86 100644 (file)
--- 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