From: lkcl <lkcl@web>
Date: Mon, 10 Feb 2020 20:26:12 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3467
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bee35f0cff5d6a619669ecace924500a3de4055b;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index c7002c906..29b905bac 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -69,6 +69,8 @@ as uid 1000, the prompt should become:
 
 ## check out alliance and alliance-check-toolkit
 
+Adapted from <https://www-soc.lip6.fr/en/team-cian/softwares/alliance/>
+
 in the schroot:
 
     git clone https://gitlab.lip6.fr/jpc/alliance-check-toolkit.git