From: lkcl <lkcl@web>
Date: Thu, 23 Jan 2020 10:09:54 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3778
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1a30c7609b0fec306bef181e7d46b74ae3a9e21d;p=libreriscv.git

---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 4abf82a9e..6437ba341 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -16,13 +16,23 @@ A basic GUI desktop is necessary: fvwm2, xfce, lxde are perfectly sufficient (al
 
 Whilst many resources advocate sudo in front of all of the root-level command below, this is extremely irritating. run "sudo bash", get a root prompt, and save some typing.
 
-* # apt-get install build-essential
-* # apt-get install git python3.7 python3.7-dev python-nosetest3
-* # apt-get install graphviz xdot
+* apt-get install build-essential
+* apt-get install git python3.7 python3.7-dev python-nosetest3
+* apt-get install graphviz xdot
 * return to user prompt (ctrl-d)
 
 ## yosys
 
+Follow the source code (git clone) instructions here: <http://www.clifford.at/yosys/download.html>
+
+Do not try to use a fixed revision, nmigen is evolving and frequently interacts with yosys
+
+## symbiyosys
+
+Follow the instructions here: <https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing>
+
+You do not have to install all of those (avy, boolector can be left out if desired).
+
 ## nmigen
 
 nmigen may be installed as follows: