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