State and Statements
NextState generation for:
- if, case, while
- is more difficult since next-state transitions can depend on values from, say, a dataPath.
The state space can explode if the data dependency is represented within the state space itself.
How many states does a 32-bit counter have?
- 2^32 or 1? Is the value in the counter "data" or "control?"