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
 
 
 ## 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
 
 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