From: lkcl <lkcl@web>
Date: Thu, 6 Feb 2020 23:02:49 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3531
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=72df683581d9c2479e141ed1182e4feba13474ef;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index b0a0f76e3..f2e5e9b74 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -121,3 +121,8 @@ The following window will appear
 [[!img chicken.png ]]
 
 click on the chicken several times
+
+# Tutorials and checks
+
+* <https://gitlab.com/Chips4Makers/alliance-check-toolkit>
+