State Assignment
?? Find a binary encoding of states which minimizes the eventual area (or delay) of the FSM after combinational logic optimization of NSL and OL.
?? Need to predict and model the optimization
???State assignment has major effect on testability.