The Synthesis Problem
A system is often modeled by a description of its observable behavior, that is, global states and steps. However, to implement a system, it is often more practical to identify local state components and actions whose cause and effect are limited to a few state components. At first, we will discuss this problem using the example of the light/fan system, and then give the problem a precise form and solve it in the rest of this chapter. The techniques presented here will be used in the case study in Chapter 21 to systematically create an asynchronous hardware architecture.
KeywordsGlobal State State Component Synthesis Problem Edge Label State Automaton
Unable to display preview. Download preview PDF.