home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / EXAMPLES_TUTOR11.PDS < prev    next >
Encoding:
Text File  |  1991-02-27  |  3.8 KB  |  125 lines
  1.  
  2. ;PALASM Design Description
  3.  
  4. ;---------------------------------- Declaration Segment ------------
  5. TITLE    TUTOR11.PDS
  6. PATTERN  A
  7. REVISION 2.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 -> 1GREEN             ;INITIALIZATION STATEMENT
  31.  
  32. ;TRANSITION EQUATIONS------------------
  33. 1GREEN    :=  CARWAITING -> 1YELLOW
  34.           +->                1GREEN
  35. 1YELLOW   :=  CARWAITING -> 2GREEN
  36.           +->                1GREEN
  37. 2GREEN    :=  CARCLEAR   -> 2YELLOW
  38.           +   CARWAITING -> 2GREEN
  39.           +->                1GREEN
  40. 2YELLOW   :=  VCC         -> 1GREEN
  41.  
  42. ;OUTPUT EQUATIONS----------------------
  43. 1GREEN.OUTF  = /RED1 * /YEL1 *  GRN1 *  RED2 * /YEL2 * /GRN2
  44. 1YELLOW.OUTF = /RED1 *  YEL1 * /GRN1 *  RED2 * /YEL2 * /GRN2
  45. 2GREEN.OUTF  =  RED1 * /YEL1 * /GRN1 * /RED2 * /YEL2 *  GRN2
  46. 2YELLOW.OUTF =  RED1 * /YEL1 * /GRN1 * /RED2 *  YEL2 * /GRN2
  47.  
  48. ;CONDITION EQUATIONS-------------------
  49. CONDITIONS
  50. CARWAITING = /RESTART *  SENSOR
  51. CARCLEAR   = /RESTART * /SENSOR
  52.  
  53. ;----------------------------------- Simulation Segment ------------
  54. SIMULATION
  55.  
  56. TRACE_ON SENSOR RESTART RED1 YEL1 GRN1 RED2 YEL2 GRN2
  57.  
  58. SETF   /CLOCK
  59. SETF    RESTART /SENSOR
  60. CLOCKF  CLOCK
  61. CLOCKF  CLOCK
  62. CHECK   1GREEN
  63. SETF   /RESTART /SENSOR
  64. CLOCKF  CLOCK
  65. CHECK   1GREEN /RED1 /YEL1  GRN1  RED2 /YEL2 /GRN2
  66. CLOCKF  CLOCK
  67. CHECK   1GREEN /RED1 /YEL1  GRN1  RED2 /YEL2 /GRN2
  68.  
  69. SETF   /RESTART  SENSOR
  70. CLOCKF  CLOCK
  71. CHECK   1YELLOW /RED1 /YEL1 GRN1  RED2 /YEL2 /GRN2
  72. SETF    RESTART
  73. CLOCKF  CLOCK
  74. CHECK   1GREEN  /RED1 YEL1 /GRN1  RED2 /YEL2 /GRN2
  75.  
  76. SETF   /RESTART /SENSOR
  77. CLOCKF  CLOCK
  78. CHECK   1GREEN  /RED1 /YEL1 GRN1  RED2 /YEL2 /GRN2
  79.  
  80. SETF   /RESTART  SENSOR
  81. CLOCKF  CLOCK
  82. CHECK   1YELLOW /RED1 /YEL1 GRN1  RED2 /YEL2 /GRN2
  83.  
  84. CLOCKF  CLOCK
  85. CHECK   2GREEN  /RED1 YEL1 /GRN1  RED2 /YEL2 /GRN2
  86.  
  87. CLOCKF  CLOCK
  88. CHECK   2GREEN  RED1 /YEL1 /GRN1 /RED2 /YEL2  GRN2
  89.  
  90. SETF    RESTART
  91. CLOCKF  CLOCK
  92. CHECK   1GREEN  RED1 /YEL1 /GRN1 /RED2 /YEL2  GRN2
  93.  
  94. SETF   /RESTART  SENSOR
  95. CLOCKF  CLOCK
  96. CHECK   1YELLOW /RED1 /YEL1 GRN1  RED2 /YEL2 /GRN2
  97.  
  98. CLOCKF  CLOCK
  99. CHECK   2GREEN  /RED1 YEL1 /GRN1  RED2 /YEL2 /GRN2
  100.  
  101. SETF   /RESTART /SENSOR
  102. CLOCKF  CLOCK
  103. CHECK   2YELLOW  RED1 /YEL1 /GRN1 /RED2 /YEL2 GRN2
  104.  
  105. SETF    RESTART
  106. CLOCKF  CLOCK
  107. CHECK   1GREEN  RED1 /YEL1 /GRN1 /RED2  YEL2 /GRN2 
  108.  
  109. SETF   /RESTART  SENSOR
  110. CLOCKF  CLOCK
  111. CHECK   1YELLOW /RED1 /YEL1 GRN1  RED2  /YEL2 /GRN2
  112. CLOCKF  CLOCK
  113. CHECK   2GREEN  /RED1  YEL1 /GRN1 RED2  /YEL2 /GRN2
  114.  
  115. SETF   /RESTART /SENSOR
  116. CLOCKF  CLOCK
  117. CHECK   2YELLOW  RED1 /YEL1 /GRN1 /RED2 /YEL2  GRN2
  118.  
  119. SETF   /RESTART  SENSOR                ; CHECK UNCONDITIONAL TRANSITION
  120. CLOCKF  CLOCK
  121. CHECK   1GREEN  RED1 /YEL1  /GRN1 /RED2  YEL2  /GRN2
  122.  
  123. TRACE_OFF
  124. ;-------------------------------------------------------------------
  125.