home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / DOC_LREF_LR32.DOC < prev    next >
Encoding:
Text File  |  1991-02-28  |  2.4 KB  |  74 lines
  1. ≡
  2. LOCAL DEFAULT
  3. Overview
  4. This is a branch of a state transition equation that is executed if
  5. none of the conditions in the equation are satisfied.  Local defaults
  6. override global defaults.
  7.  
  8.  
  9. Syntax───────────────────────────────────────────────────────────────
  10.             State1 := condition1 -> state2
  11.                       + condition2 -> state3
  12.                       +-> default state
  13.  
  14. ────────────────────────────────────────────────────────────────────
  15.  
  16. Device Support:
  17.  
  18.   PAL10H20EV8   PAL16R4    PAL16R6     PAL16R8     PAL16RP4  PAL16RP6
  19.   PAL16RP8      PALCE16V8  PAL18U8     PAL20R4     PAL20R6   PAL20R8
  20.   PAL20RS4      PAL20RS8   PAL20RS10   PALCE20V8   PAL20X4   PAL20X8
  21.   PAL20X10      PAL22RX8   PAL22V10    PAL23S8     PAL24R10  PAL24R4
  22.   PAL24R8       PAL26V12   PALCE29M16  PALCE29MA16 PAL32R16  PAL32VX10
  23.   PALCE610      PLS105     PLS167      PLS168      PLS30S16  MACH 1
  24.   MACH 2
  25. ·
  26. Syntax
  27. Include the local default (state branch) in state transition equations
  28. of state-machine designs.
  29.  
  30. Syntax───────────────────────────────────────────────────────────────
  31.             State1 := condition1 -> state2
  32.                       + condition2 -> state3
  33.                       +-> default state
  34. Example──────────────────────────────────────────────────────────────
  35.  
  36.             STATE
  37.             ;State transition equations
  38.             RED    := NOTRAFFIC -> GRN
  39.                       + RED2 -> YLW
  40.                       +-> RED
  41.             ...
  42. ────────────────────────────────────────────────────────────────────
  43. ·
  44. Definitions
  45.  
  46. Default state   This parameter defines the next state in a state
  47.                 machine transition equation when that state cannot be
  48.                 determined from the previous conditions.
  49.  
  50.                 ■  You must use the default operator, +->, to define a
  51.                    local default.
  52.  
  53.                 ■  You can define only one local default state for
  54.                    each state-transition equation.
  55. ·
  56. Use
  57.  
  58. Defaults ensure that the machine does not behave unpredictably if none
  59. of the conditions in the state transition equation are satisfied.
  60.  
  61. A local default overrides any global default.
  62.  
  63. The local default branch must be the last branch in the
  64. state-transition equation.
  65.  
  66. Global defaults are defined by the DEFAULT_BRANCH statement.
  67. ·
  68. Related Topics
  69. DEFAULT_BRANCH
  70. STATE
  71. State Equation
  72. State Transition Equation
  73. ·
  74.