Docs: Add todo for $check

YosysHQ · Sep 2, 2024 · 3c34fc9 · 3c34fc9
1 parent d0abc6e
commit 3c34fc9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/source/cell/word_formal.rst b/docs/source/cell/word_formal.rst
@@ -1,6 +1,10 @@
 Formal verification cells
 -------------------------
 
+.. TODO:: note on `$check`
+
+   If only I remembered what the note was...
+
 .. TODO:: Describe formal cells
 
    `$check`, `$assert`, `$assume`, `$live`, `$fair`, `$cover`, `$equiv`,