From: lkcl <lkcl@web>
Date: Wed, 6 Apr 2022 20:48:43 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2872
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e8863c0c4e2b83ea4a160a9b949aa4da9c6f8b4;p=libreriscv.git

---

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index b5de78135..2e455d441 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -381,7 +381,9 @@ circumstances).
 front-end driver program for Yosys-based formal hardware verification
 flows.
 
-## nmigen
+## nmigen (TM)
+
+*nmigen is a registered trademark of M-Labs <https://uspto.report/TM/88980893>*
 
 **PLEASE NOTE: it is critical to install nmigen as the first dependency
 prior to installing any further python-based Libre-SOC HDL repositories.