From 217c2a15dd1af93835ce5afbe060b84663bb9e5c 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 68bc5a3aa..5c802294c 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: