home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / DOC_LREF_LR62.DOC < prev    next >
Encoding:
Text File  |  1991-02-28  |  5.8 KB  |  143 lines
  1. ≡
  2. STATE OUTPUT EQUATION
  3. Overview
  4. State output equations control state-machine outputs.
  5.  
  6.  
  7. Syntax──────────────────────────────────────────────────────────────
  8.  
  9. Moore machines     Statename.OUTF     =     Output expression
  10.  
  11. Mealy machines     Statename.OUTF     =     Condition 1 -> Output 1
  12.                                             + Condition 2 -> Output 2
  13.                                             ...
  14.                                             + Condition n -> Output n
  15.                                             +-> Local default
  16. ────────────────────────────────────────────────────────────────────
  17.  
  18. Device Support:
  19. PAL10H20EV8    PAL16R4    PAL16R6    PAL16R8     PAL16RP4
  20. PAL16RP6       PAL16RP8   PALCE16V8  PAL18U8     PAL20R4     PAL20R6
  21. PAL20R8        PAL20RS4   PAL20RS8   PAL20RS1    PALCE20V8   PAL20X4
  22. PAL20X8        PAL20X10   PAL22RX8   PAL22V10    PAL23S8     PAL24R10
  23. PAL24R4        PAL24R8    PAL26V12   PALCE29M16  PALCE29MA16 PAL32R16
  24. PAL32VX10      PALCE610   PLS105     PLS167      PLS168      PLS30S16
  25. MACH 1         MACH 2
  26. ·
  27. Syntax
  28. Include output equations in the state segment of state-machine designs
  29. after setup and defaults and before the condition equations.  
  30.  
  31.  
  32. Syntax──────────────────────────────────────────────────────────────
  33.  
  34. Moore machines     Statename.OUTF     =     Output expression
  35.  
  36. Mealy machines     Statename.OUTF     =     Condition 1 -> Output 1
  37.                                             + Condition 2 -> Output 2
  38.                                             ...
  39.                                             + Condition n -> Output n
  40.                                             +-> Local default
  41. Example─────────────────────────────────────────────────────────────
  42.              ...
  43. Moore machines    TWO.OUTF            =    /CNT2 * CNT1 * /CNT0
  44.  
  45. Mealy machines     TWO.OUTF           =    RUN_UP -> /CNT2 * CNT1
  46.                                            * /CNT0
  47.                                            ...
  48.                                            TEST -> CNT2 * CNT1 * CNT0
  49.                                            +-> /CNT2 * /CNT1 * /CNT0
  50.                                            ...
  51. ────────────────────────────────────────────────────────────────────
  52. ·
  53. Definitions
  54.  
  55. Statename       Identifies the name of the state as specified in the
  56.                 state assignments or state transition equations.  It
  57.                 must be unique and can have up to 14 alphanumeric
  58.                 characters.
  59.  
  60. Outputs         These are pin names with their appropriate logic sense
  61.                 to create the desired logic values.  Outputs are
  62.                 separated by an asterisk, *.  In the syntax example,
  63.                 when the Moore machine is in state TWO, the output
  64.                 bits CNT2, CNT1 and CNT0 will be 0, 1, and 0
  65.                 respectively. When the Mealy machine is in state TWO
  66.                 and the inputs match the condition defined as RUN_UP,
  67.                 the output bits CNT2, CNT1 and CNT0 will be 0, 1, and
  68.                 0 respectively.
  69.  
  70.                 You specify the output values regardless of pin
  71.                 polarity.  The software adjusts polarity as necessary.
  72.  
  73. Conditions      In a Mealy machine, the outputs depend on the current
  74.                 state and the current input conditions.  This entry
  75.                 specifies the conditions under which the specified
  76.                 output will occur.  The condition names must be
  77.                 defined in the conditions section of the state machine
  78.                 design.
  79.  
  80.                 If the condition consists of a single input, the input
  81.                 name may be used in place of the condition name.  You
  82.                 can use VCC to specify an unconditional output.
  83.  
  84.                 Moore machine outputs do not have conditions since
  85.                 their outputs are determined only by the present
  86.                 state.
  87.  
  88. Local Default   This output is generated if none of the conditions is
  89.                 satisfied.  Local defaults are valid only for Mealy
  90.                 machines.  Local defaults override global defaults.
  91. ·
  92. Use
  93. You can place output equations anywhere within the state segment.  You
  94. may prefer to have all the output equations after all the state
  95. equations or have each state equation with its corresponding output
  96. equation.
  97.  
  98. You can use the following operators in state output equations.
  99.  
  100.       Operator             Definition
  101.       ─────────────────────────────────────────────────
  102.         ->        Conditional output for Mealy machines
  103.        +->        Local default for a Mealy machine
  104.         =         Combinatorial assignment operator
  105.        :=         Registered assignment operator
  106.  
  107. For Mealy machines, conditions in .OUTF don't have to match conditions
  108. in the state-transition equations.  However, typically these
  109. conditions match.
  110.  
  111. You can use the state bits as outputs by making the output pins the
  112. same as the state bits and performing manual state bit assignment.
  113. In this case, you can omit the output equations.  If you do this,
  114. don't use the following constructs.
  115.  
  116. ■ DEFAULT_OUTPUT
  117. ■ OUTPUT_HOLD
  118.  
  119. You can have some outputs defined with state bits and some outputs
  120. defined with output equations.
  121.  
  122. If you don't use the state bits as outputs, you must specify output
  123. equations.  Default output specifications are optional.
  124.  
  125. Registered Mealy machine outputs are valid one clock cycle after
  126. reaching the new state.  Combinatorial Mealy and Moore machine outputs
  127. and registered Moore machine outputs are valid on reaching the new
  128. state.  Undefined output pins have a don't-care value.
  129. ·
  130. Related Topics
  131. CONDITIONS
  132. DEFAULT_BRANCH
  133. DEFAULT_OUTPUT
  134. Local Default
  135. MEALY_MACHINE
  136. MOORE_MACHINE
  137. Operator
  138. OUTPUT_HOLD
  139. STATE
  140. State Assignment Equation
  141. State Transition Equation
  142. ·
  143.