(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index b5de78135899d57d09c14adca2e3e6a4281942fb..2e455d441c0a8e0bab57d875a3a055a450705c22 100644 (file)
--- 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.