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