home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / EXAMPLES_TUTOR15.PDS < prev    next >
Encoding:
Text File  |  1991-02-27  |  4.6 KB  |  168 lines
  1.  
  2. ;PALASM Design Description
  3.  
  4. ;---------------------------------- Declaration Segment ------------
  5. TITLE    TUTOR15.PDS
  6. PATTERN  A
  7. REVISION 6.0
  8. AUTHOR   J.ENGINEER
  9. COMPANY  ADVANCED MICRO DEVICES
  10. DATE     01/01/90
  11.  
  12. CHIP  TRAFFIC   PAL22V10
  13.  
  14. ;---------------------------------- PIN Declarations ---------------
  15. PIN  1          CLOCK                COMBINATORIAL             ; INPUT
  16. PIN  2          INIT                 COMBINATORIAL             ; INPUT
  17. PIN  3          SENSOR               COMBINATORIAL             ; INPUT
  18. PIN  12         GND                                            ; INPUT
  19. PIN  14..15     STATEBIT[1..2]       REGISTERED                ; OUTPUT
  20. PIN  16..18     LIGHTS1[1..3]        REGISTERED                ; OUTPUT
  21. PIN  19..21     LIGHTS2[1..3]        REGISTERED                ; OUTPUT
  22. PIN  24         VCC                                            ; INPUT
  23.  
  24.  
  25. STRING  START   'INIT'
  26. STRING  CARWAITING      '/INIT * SENSOR'
  27. STRING  CARCLEAR       '/INIT * /SENSOR'
  28.  
  29. STRING  1GREEN  '#D0'
  30. STRING  1YELLOW '#D1'
  31. STRING  2GREEN  '#D2'
  32. STRING  2YELLOW '#D3'
  33. ;----------------------------------- Boolean Equation Segment ------
  34. EQUATIONS
  35.  
  36. CASE (STATEBIT[1..2])
  37. BEGIN
  38. 1GREEN : BEGIN          ;TESTS FOR STATE 1GREEN 
  39.         IF (CARWAITING) THEN
  40.                 BEGIN
  41.                         LIGHTS1[1..3] = #B010
  42.                         LIGHTS2[1..3] = #B100
  43.                         STATEBIT[1..2] = 1YELLOW
  44.                 END
  45.         ELSE
  46.         BEGIN
  47.                 LIGHTS1[1..3] = #B001
  48.                 LIGHTS2[1..3] = #B100
  49.                 STATEBIT[1..2] = 1GREEN
  50.         END
  51.         END
  52.  
  53. 1YELLOW : BEGIN         ;TESTS FOR STATE 1YELLOW
  54.                                                 
  55.         IF (START) THEN
  56.                 BEGIN
  57.                         LIGHTS1[1..3] = #B001
  58.                         LIGHTS2[1..3] = #B100
  59.                         STATEBIT[1..2] = 1GREEN
  60.                 END
  61.         ELSE
  62.         BEGIN
  63.                 LIGHTS1[1..3] = #B100
  64.                 LIGHTS2[1..3] = #B001
  65.                 STATEBIT[1..2] = 2GREEN
  66.         END
  67.         END
  68.             
  69. 2GREEN : BEGIN         ;TESTS FOR STATE 2GREEN
  70.  
  71.         IF (CARCLEAR) THEN
  72.                 BEGIN
  73.                         LIGHTS1[1..3] = #B100
  74.                         LIGHTS2[1..3] = #B010
  75.                         STATEBIT[1..2] = 2YELLOW
  76.                 END
  77.         ELSE
  78.         BEGIN
  79.         IF (CARWAITING) THEN
  80.                 BEGIN
  81.                         LIGHTS1[1..3] = #B100
  82.                         LIGHTS2[1..3] = #B001
  83.                         STATEBIT[1..2] = 2GREEN
  84.                  END
  85.         ELSE
  86.  
  87.         BEGIN
  88.                 LIGHTS1[1..3] = #B001
  89.                 LIGHTS2[1..3] = #B100
  90.                 STATEBIT[1..2] = 1GREEN
  91.         END
  92.         END
  93.         END
  94.  
  95.             
  96. 2YELLOW : BEGIN         ;TESTS FOR STATE 2YELLOW
  97.             
  98.                 LIGHTS1[1..3] = #B001
  99.                 LIGHTS2[1..3] = #B100
  100.                 STATEBIT[1..2] = 1GREEN
  101.         END
  102.  
  103.  
  104. END     ;END OF ALL CASE STATEMENTS
  105.  
  106. ;----------------------------------- Simulation Segment ------------
  107. SIMULATION
  108.  
  109. TRACE_ON        SENSOR     INIT
  110.                 LIGHTS1[1] LIGHTS1[2] LIGHTS1[3]
  111.                 LIGHTS2[1] LIGHTS2[2] LIGHTS2[3]
  112.  
  113. SETF    /CLOCK
  114. SETF     INIT
  115. CLOCKF   CLOCK
  116. CLOCKF   CLOCK
  117. CHECK   /STATEBIT[1] /STATEBIT[2]
  118. SETF    /INIT /SENSOR
  119. CLOCKF   CLOCK
  120. CHECK   /STATEBIT[1] /STATEBIT[2]
  121. CLOCKF   CLOCK
  122. CHECK   /STATEBIT[1] /STATEBIT[2]
  123. SETF    /INIT  SENSOR
  124. CLOCKF   CLOCK
  125. CHECK   /STATEBIT[1]  STATEBIT[2]
  126. SETF     INIT
  127. CLOCKF   CLOCK
  128. CHECK   /STATEBIT[1] /STATEBIT[2]
  129. SETF    /INIT /SENSOR
  130. CLOCKF   CLOCK
  131. CHECK   /STATEBIT[1] /STATEBIT[2]
  132. SETF    /INIT  SENSOR
  133. CLOCKF   CLOCK
  134. CHECK   /STATEBIT[1]  STATEBIT[2]
  135. CLOCKF   CLOCK
  136. CHECK    STATEBIT[1] /STATEBIT[2]
  137. CLOCKF   CLOCK
  138. CHECK    STATEBIT[1] /STATEBIT[2]
  139. SETF     INIT
  140. CLOCKF   CLOCK
  141. CHECK   /STATEBIT[1] /STATEBIT[2]
  142. SETF    /INIT  SENSOR
  143. CLOCKF   CLOCK
  144. CHECK   /STATEBIT[1]  STATEBIT[2]
  145. CLOCKF   CLOCK
  146. CHECK    STATEBIT[1] /STATEBIT[2]
  147. SETF    /INIT /SENSOR
  148. CLOCKF   CLOCK
  149. CHECK    STATEBIT[1]  STATEBIT[2]
  150. SETF     INIT
  151. CLOCKF   CLOCK
  152. CHECK   /STATEBIT[1] /STATEBIT[2]
  153. SETF    /INIT  SENSOR
  154. CLOCKF   CLOCK
  155. CHECK   /STATEBIT[1]  STATEBIT[2]
  156. CLOCKF   CLOCK
  157. CHECK    STATEBIT[1] /STATEBIT[2]
  158. SETF    /INIT /SENSOR
  159. CLOCKF   CLOCK
  160. CHECK    STATEBIT[1]  STATEBIT[2]
  161. SETF    /INIT  SENSOR                ; CHECK UNCONDITIONAL TRANSITION
  162. CLOCKF   CLOCK
  163. CHECK   /STATEBIT[1] /STATEBIT[2]
  164.  
  165. TRACE_OFF
  166. ;-------------------------------------------------------------------
  167.  
  168.