From dde16db35f78a25014c389b4fa5b4822306a486b Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 23 Jan 2020 13:55:18 +0000
Subject: [PATCH]

---
 HDL_workflow.mdwn | 1 +
 1 file changed, 1 insertion(+)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 3dbc98069..25e2562da 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -147,3 +147,4 @@ The reasons for doing a proper modularisation job are several-fold:
 
 Find appropriate tutorials for nmigen and yosys, as well as symbiyosys.
 
+* Although a verilog example this is very useful to do <https://symbiyosys.readthedocs.io/en/latest/quickstart.html#first-step-a-simple-bmc-example>
-- 
2.30.2