From 97b0591989b4f8c373518a867d7920aeeb95d2f0 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Tue, 3 Sep 2024 12:13:52 +1200
Subject: [PATCH] Docs: Add todos from JF

---
 docs/source/cell/word_binary.rst | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/docs/source/cell/word_binary.rst b/docs/source/cell/word_binary.rst
index 68bc5a3aafc..5c802294c51 100644
--- a/docs/source/cell/word_binary.rst
+++ b/docs/source/cell/word_binary.rst
@@ -4,7 +4,17 @@
 Binary operators
 ~~~~~~~~~~~~~~~~
 
-.. todo:: Add detail on ``$*x`` cells, `$eqx`, `$nex`, `$bweqx`, `$shiftx`
+.. todo:: 'x' aware warning
+
+   some passes will treat cell as the non 'x' aware cell, i.e. synthesis; `$eqx`
+   `$nex` `$bweqx`
+
+.. todo:: 'x' output
+
+   shiftx, div, mod, pmux (less-so) can produce 'x' output even if all inputs
+   are defined
+
+.. todo:: `$eqx` is the case equality operator
 
 All binary RTL cells have two input ports ``A`` and ``B`` and one output port
 ``Y``. They also have the following parameters: