mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

Docs: Fix fsm.rst

Browse source 
`$mux-tree` should be `$mux`-tree.
This commit is contained in:
Krystine Sherwin 2024-05-27 15:48:00 +12:00
parent 46580cebb3
commit 2b4a4cb536
No known key found for this signature in database
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
docs/source/using_yosys/synthesis/fsm.rst
View file

@ -63,12 +63,10 @@ information is determined:
The state registers (and asynchronous reset state, if applicable) is simply The state registers (and asynchronous reset state, if applicable) is simply
determined by identifying the driver for the state signal. determined by identifying the driver for the state signal.
.. todo:: Figure out what `$mux-tree` should actually be. From there the `$mux`\ -tree driving the state register inputs is recursively
traversed. All select inputs are control signals and the leaves of the `$mux`\
From there the `$mux-tree` driving the state register inputs is recursively -tree are the states. The algorithm fails if a non-constant leaf that is not the
traversed. All select inputs are control signals and the leaves of the state signal itself is found.
`$mux-tree` are the states. The algorithm fails if a non-constant leaf that is
not the state signal itself is found.
The list of control outputs is initialized with the bits from the state signal. The list of control outputs is initialized with the bits from the state signal.
It is then extended by adding all values that are calculated by cells that It is then extended by adding all values that are calculated by cells that