Application to Software

Application to Software

Software Module

Internal

State

Input(s)

Output(s)

m Inputs and outputs are sequences of values from any set

m Using generalizations of global synthesis-based approaches, we should be able to:

Previous slide Next slide Back to the first slide View Graphic Version