Fsm
This is a product type introduced by defprod.
Fields
- values — svex-alist
- Functions of internal signals of the design, using canonical
names as input and output variables.
- nextstate — svex-alist
- Next-state functions for stateholding signals. No variable should
be both a key of updates and nextstates -- usually the nextstate
keys have delay values in their names and the updates keys
don't.
Subtopics
- Fsm-fix
- Fixing function for fsm structures.
- Make-fsm
- Basic constructor macro for fsm structures.
- Fsm-equiv
- Basic equivalence relation for fsm structures.
- Fsm->nextstate
- Get the nextstate field from a fsm.
- Change-fsm
- Modifying constructor for fsm structures.
- Fsm->values
- Get the values field from a fsm.
- Fsm-p
- Recognizer for fsm structures.
