home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / DOC_LREF_LR63.DOC < prev    next >
Encoding:
Text File  |  1991-02-28  |  3.2 KB  |  93 lines
  1. ≡
  2. STATE TRANSITION EQUATION
  3. Overview
  4. For each state, transition equations specify what the next state will
  5. be under various conditions.
  6.  
  7.  
  8. Syntax──────────────────────────────────────────────────────────────
  9.  
  10.     STATE
  11.         ...
  12.         Present state     :=     Condition1 -> State1
  13.                                  + Condition2 -> State2
  14.                                  +-> Local default
  15. ────────────────────────────────────────────────────────────────────
  16.  
  17. Device Support:
  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. PAL64R32       PALCE610   PLS105     PLS167      PLS168      PLS30S16
  24. MACH 1         MACH 2
  25. ·
  26. Syntax
  27. Include state-transition equations in the state segment of
  28. state-machine designs.
  29.  
  30.  
  31. Syntax──────────────────────────────────────────────────────────────
  32.  
  33.     STATE
  34.         ...
  35.         Present state     :=     Condition1 -> State1
  36.                                  + Condition2 -> State2
  37.                                  +-> Local default
  38. Example─────────────────────────────────────────────────────────────
  39.  
  40.     STATE
  41.         ...
  42.         ;State Equations
  43.         ...
  44.         TWO               :=     COUNT_UP -> THREE
  45.                                  + COUNT_DWN -> ONE
  46.                                  +-> TWO
  47.         ...
  48. ────────────────────────────────────────────────────────────────────
  49. ·
  50. Definitions
  51.  
  52. Present State   Identifies the present state name, as defined in your
  53.                 state diagram.
  54.  
  55.                 ■    Use any combination of up to 14 upper- or
  56.                      lowercase alphanumeric characters: A-Z, 0-9.
  57.  
  58.                 ■    Do not use keywords, reserved words, or logic
  59.                      operators.
  60.  
  61. Condition       Identifies condition names as defined in the
  62.                 conditions section of the state machine design.
  63.  
  64. State           Identifies the next state, as defined in the state
  65.                 diagram.
  66.  
  67. Local Default   Defines the state the machine will go to if none of
  68.                 the specified conditions are satisfied.
  69. ·
  70. Use
  71. You can place state transition equations anywhere within the state
  72. segment except in the CONDITIONS section.
  73.  
  74. In creating transition equations, use the state equation operator, :=,
  75. to separate the present state from the transition.  Use the transition
  76. operator, ->, to identify the condition and corresponding transition
  77. state.  Use the OR operator (+) to indicate additional transitions.
  78. Use the default operator, +->, to identify the local default.
  79.  
  80. In the syntax example, when the state machine is in state TWO, it will
  81. transition to state THREE if the input conditions specified for
  82. COUNT_UP are satisfied.  It will transition to state ONE if the
  83. conditions for COUNT_DWN are satisfied.  If neither of these
  84. conditions are satisfied, it will remain in state two.
  85. ·
  86. Related Topics
  87. CONDITIONS
  88. DEFAULT_BRANCH
  89. DEFAULT_OUTPUT
  90. State Assignment Equation
  91. State Equation
  92. ·
  93.