While any digital computer can be designed using the tools of sequential network theory, it becomes practically impossible to handle a state table description and the appropriate synthesis methods for even modestly sized systems. Therefore, the most common approach to logic design considers subunits of the computer as individual sequential networks, i.e., sequential machines. They are designed separately and assembled into the overall system. Proper partitioning and an adequate system description are very essential in such a design effort. Functional microprogramming can greatly facilitate these tasks.