home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / EXAMPLES_TUTOR13.PDS < prev    next >
Encoding:
Text File  |  1991-02-27  |  4.5 KB  |  130 lines
  1.  
  2. ;PALASM Design Description
  3.  
  4. ;---------------------------------- Declaration Segment ------------
  5. TITLE    TUTOR13.PDS
  6. PATTERN  A
  7. REVISION 4.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          SENSOR               COMBINATORIAL             ; INPUT
  17. PIN  3          RESTART              COMBINATORIAL             ; INPUT
  18. PIN  12         GND                                            ; INPUT
  19. PIN  14         RED1                 REGISTERED                ; OUTPUT
  20. PIN  15         YEL1                 REGISTERED                ; OUTPUT
  21. PIN  16         GRN1                 REGISTERED                ; OUTPUT
  22. PIN  17         RED2                 REGISTERED                ; OUTPUT
  23. PIN  18         YEL2                 REGISTERED                ; OUTPUT
  24. PIN  19         GRN2                 REGISTERED                ; OUTPUT
  25. PIN  24         VCC                                            ; INPUT
  26.  
  27. ;-----------------------------------State Segment ------------------
  28. STATE
  29. MOORE_MACHINE
  30. START_UP := POWER_UP -> STATE0              ;NOTE NEW START-UP STATE
  31.  
  32. ;STATE ASSIGNMENT EQUATIONS------------
  33. STATE0       = /RED1 * /YEL1 * /GRN1 * /RED2 * /YEL2 * /GRN2
  34. 1GREEN       = /RED1 * /YEL1 *  GRN1 *  RED2 * /YEL2 * /GRN2
  35. 1YELLOW      = /RED1 *  YEL1 * /GRN1 *  RED2 * /YEL2 * /GRN2
  36. 2GREEN       =  RED1 * /YEL1 * /GRN1 * /RED2 * /YEL2 *  GRN2
  37. 2YELLOW      =  RED1 * /YEL1 * /GRN1 * /RED2 *  YEL2 * /GRN2
  38.  
  39. ;TRANSITION EQUATIONS------------------
  40. STATE0    :=  INIT       -> STATE0
  41.           +->               1GREEN
  42. 1GREEN    :=  INIT       -> STATE0
  43.           +   CARWAITING -> 1YELLOW
  44.           +->               1GREEN
  45. 1YELLOW   :=  INIT       -> STATE0
  46.           +   CARWAITING -> 2GREEN
  47.           +->               1GREEN
  48. 2GREEN    :=  INIT       -> STATE0
  49.           +   CARCLEAR   -> 2YELLOW
  50.           +->               2GREEN
  51. 2YELLOW   :=  INIT       -> STATE0
  52.           +-> 1GREEN
  53.  
  54. ;OUTPUT EQUATIONS----------------------
  55. ;NOT USED IN THIS DESIGN (STATE BITS DOUBLE AS OUTPUTS)
  56.  
  57. ;CONDITION EQUATIONS-------------------
  58. CONDITIONS
  59. INIT       =  RESTART
  60. CARWAITING = /RESTART *  SENSOR
  61. CARCLEAR   = /RESTART * /SENSOR
  62.  
  63. ;----------------------------------- Simulation Segment ------------
  64. SIMULATION
  65.  
  66. TRACE_ON SENSOR RESTART RED1 YEL1 GRN1 RED2 YEL2 GRN2
  67.  
  68. SETF   /CLOCK
  69. SETF    RESTART /SENSOR                 ;FORCE TRANSITION TO STATE0
  70. CLOCKF  CLOCK
  71. CLOCKF  CLOCK                           ;CHECK TRANSITION 1
  72. CHECK   STATE0
  73. SETF   /RESTART
  74. CLOCKF  CLOCK
  75. CHECK   1GREEN                          ;CHECK TRANSITION 2
  76. CLOCKF  CLOCK
  77. CHECK   1GREEN                          ;CHECK TRANSITION 3
  78. SETF   /RESTART  SENSOR
  79. CLOCKF  CLOCK
  80. CHECK   1YELLOW                         ;CHECK TRANSITION 4
  81. SETF    RESTART
  82. CLOCKF  CLOCK
  83. CHECK   STATE0                          ;CHECK TRANSITION 5
  84. SETF   /RESTART /SENSOR
  85. CLOCKF  CLOCK
  86. CHECK   1GREEN                          ;CHECK TRANSITION 6
  87. SETF   /RESTART  SENSOR
  88. CLOCKF  CLOCK
  89. CHECK   1YELLOW                         ;CHECK TRANSITION 7
  90. CLOCKF  CLOCK
  91. CHECK   2GREEN                          ;CHECK TRANSITION 8
  92. CLOCKF  CLOCK
  93. CHECK   2GREEN                          ;CHECK TRANSITION 9
  94. SETF    RESTART
  95. CLOCKF  CLOCK
  96. CHECK   STATE0                          ;CHECK TRANSITION 10
  97. SETF   /RESTART  SENSOR
  98. CLOCKF  CLOCK
  99. CHECK   1GREEN                          ;CHECK TRANSITION 11
  100. CLOCKF  CLOCK
  101. CHECK   1YELLOW                         ;CHECK TRANSITION 12
  102. CLOCKF  CLOCK
  103. CHECK   2GREEN                          ;CHECK TRANSITION 13
  104. SETF   /RESTART /SENSOR
  105. CLOCKF  CLOCK
  106. CHECK   2YELLOW                         ;CHECK TRANSITION 14
  107. SETF    RESTART
  108. CLOCKF  CLOCK
  109. CHECK   STATE0                          ;CHECK TRANSITION 15
  110. SETF   /RESTART
  111. CLOCKF  CLOCK
  112. CHECK   1GREEN                          ;CHECK TRANSITION 16
  113. SETF    SENSOR
  114. CLOCKF  CLOCK
  115. CHECK   1YELLOW                         ;CHECK TRANSITION 17
  116. CLOCKF  CLOCK
  117. CHECK   2GREEN                          ;CHECK TRANSITION 18
  118. SETF   /RESTART /SENSOR
  119. CLOCKF  CLOCK
  120. CHECK   2YELLOW                         ;CHECK TRANSITION 19
  121. SETF   /RESTART  SENSOR
  122. CLOCKF  CLOCK
  123. CHECK   1GREEN                          ;CHECK TRANSITION 20
  124. SETF    RESTART
  125. CLOCKF  CLOCK
  126. CHECK   STATE0                          ;CHECK TRANSITION 21
  127.  
  128. TRACE_OFF
  129. ;-------------------------------------------------------------------
  130.