home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / DOC_LREF_LR59.DOC < prev    next >
Encoding:
Text File  |  1991-02-28  |  4.8 KB  |  145 lines
  1. ≡
  2. STATE
  3. Overview
  4. Use the STATE keyword to identify the state segment of state-machine 
  5. designs.  The state segment contains setups, defaults, and state 
  6. equations.
  7.  
  8.  
  9. Syntax──────────────────────────────────────────────────────────────
  10.  
  11.     STATE
  12.  
  13.     State Setup and Defaults
  14.     State Equations
  15.         Transition Equations
  16.         Output Equations
  17.         State Assignment Equations
  18.         Condition Equations
  19. ────────────────────────────────────────────────────────────────────
  20.  
  21. Device Support:
  22. PAL10H20EV8    PAL16R4    PAL16R6    PAL16R8     PAL16RP4    PAL16RP6
  23. PAL16RP8       PALCE16V8  PAL18U8    PAL20R4     PAL20R6     PAL20R10
  24. PAL20RS4       PAL20RS8   PAL20RS10  PALCE20V    PAL20X4     PAL20X8
  25. PAL20X10       PAL22RX8   PAL22V10   PAL23S8     PAL24R10    PAL24R4
  26. PAL24R8        PAL26V12   PALCE29M16 PALCE29MA16 PAL32R16    PAL32VX10
  27. PALCE610       PLS105     PLS167     PLS168      PLS30S16    MACH 1
  28. MACH 2
  29. ·
  30. Syntax
  31. Use this state keyword in the PDS file after the declaration segment.
  32. If  your design contains a mix of state machine and Boolean equations,
  33. it can appear before or after the Boolean segment.
  34.  
  35. Syntax──────────────────────────────────────────────────────────────
  36.  
  37.     STATE
  38.  
  39.     State Setup and Defaults
  40.     State Equations
  41.         Transition Equations
  42.         Output Equations
  43.         State Assignment Equations
  44.         Condition Equations
  45.  
  46. Example─────────────────────────────────────────────────────────────
  47.     STATE
  48.  
  49.         ;State Setup and Defaults
  50.         MOORE MACHINE
  51.         START_UP := POWER_UP -> S1
  52.         DEFAULT_BRANCH HOLD_STATE
  53.         ;State  Transition Equations
  54.         S1 := COND1-> S3 
  55.               + COND2 -> S7
  56.         ...
  57.         ;State  Output Equations
  58.         S1.OUTF = OUT1*/OUT2
  59.         ...
  60.         ;State Assignment Equations
  61.         S1 = /STATEBIT1 * /STATEBIT2
  62.         ...
  63.         ;State Condition Equations
  64.         CONDITIONS
  65.         COND1 = IN1 * /IN2 * IN3
  66.         ...
  67. ────────────────────────────────────────────────────────────────────
  68. ·
  69. Definitions
  70.  
  71. Setup and       Statements at the beginning of the state segment
  72. Defaults        identify the state machine.  CLKF, MASTER_RESET,
  73.                 MEALY_MACHINE, MOORE_MACHINE, START_UP, and
  74.                 START_UP.OUTF appear in this section.
  75.  
  76.                 State-machine designs can have global and local
  77.                 defaults.  Global defaults are defined by
  78.                 DEFAULT_BRANCH, DEFAULT_OUTPUT, and OUTPUT_HOLD. Local
  79.                 defaults are defined in the state equations with the
  80.                 local default operator, +->.
  81.  
  82. State           There are four types of state-machine equations.
  83. Equations       They have the following functions.
  84.  
  85.                 ■    Transition Equations (required)
  86.  
  87.  
  88.                 For each state, these conditions specify what the next
  89.                 state will be under various conditions. See Condition
  90.                 Equations below.
  91.  
  92.                 ■    Output Equations (optional)
  93.  
  94.                 These equations specify the outputs of the state
  95.                 machine. No output equations are required in cases
  96.                 where the state bits themselves are the outputs.
  97.  
  98.                 ■    State Assignment Equations (optional)
  99.  
  100.                 These equations specify the bit code to be assigned to
  101.                 each state name used in the design.  If these
  102.                 equations are omitted, the software assigns the bit
  103.                 codes automatically.
  104.  
  105.                 ■    Condition Equations (normally required)
  106.  
  107.                 These equations specify a condition name for each set
  108.                 of input values used to determine a transition. You
  109.                 can use input names directly only if a single input
  110.                 controls the transition; otherwise, you must use
  111.                 condition names.
  112. ·
  113. Use
  114. The state segment follows the declaration segment of the PDS file.  If 
  115. the design has an equations segment, the state segment can precede or 
  116. follow it.
  117.  
  118. Important:  The state segment typically replaces the equations
  119.             segment. It is possible to modify state equations with
  120.             Boolean equations by including both equation and state
  121.             segments, in any order. In this case, you must select the
  122.             Merge Mixed Mode option from the Compile Setup menu.
  123.  
  124.  
  125. The STATE segment supports the following 
  126. reserved words:  CLKF, CONDITIONS, DEFAULT_BRANCH, DEFAULT_OUTPUT, 
  127. HOLD_STATE, MASTER_RESET, MEALY_MACHINE, MOORE_MACHINE, NEXT_STATE, 
  128. .OUTF, OUTPUT_ENABLE, OUTPUT_HOLD, START_UP, STATE. 
  129. ·
  130. Related Topics
  131. .CLKF
  132. CONDITIONS
  133. DEFAULT_BRANCH
  134. DEFAULT_OUTPUT
  135. Local Default
  136. MASTER_RESET
  137. MEALY_MACHINE
  138. MOORE_MACHINE
  139. OUTPUT_HOLD
  140. START_UP
  141. State Assignment Equation
  142. State Equation
  143. State Transition Equation
  144. ·
  145.