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