Chapters/State.tex

   1 \chapter{State}
   2   \section{Introduction}
   3     Provide some examples
   4
   5   \section{Approaches to state}
   6     Explain impact of state (or rather, temporal behaviour) on function signature.
   7     \subsection{Stream arguments and results}
   8     \subsection{Explicit state arguments and results}
   9   \section{Explicit state specification}
  10     Note about semantic correctness of top level state.
  11
  12     Note about automatic ``down-pushing'' of state.
  13
  14     Note about explicit state specification as the best solution.
  15
  16     Note about substates
  17
  18     Note about conditions on state variables and checking them.
  19
  20   \section{Explicit state implementation}
  21     Note about ignoring (sub)state components.
  22
  23     Note about extracting the state value from the return value.
  24
  25   \section{Initial state}
  26     How to specify the initial state? Cannot be done inside a hardware
  27     function, since the initial state is its own state argument for the first
  28     call (unless you add an explicit, synchronous reset port).
  29
  30     External init state is natural for simulation.
  31
  32     External init state works for hardware generation as well.
  33
  34     Implementation issues: state splitting, linking input to output state,
  35     checking usage constraints on state variables.