From f24b4a7688b6926eaa3aa6be9b145e9b7ceb4a95 Mon Sep 17 00:00:00 2001 From: "addw@fa2f8cb1790dfac204f803a3bfd8edda6ef3edc6" Date: Wed, 3 Mar 2021 14:36:32 +0000 Subject: [PATCH] Wrong link corrected --- HDL_workflow.mdwn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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: - +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 -- 2.30.2