home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 15 / 15.iso / s / s205 / 1.ddi / BACKUP.001 / EXAMPLES_TUTOR8.PDS < prev    next >
Encoding:
PALASM Design Description  |  1991-02-27  |  3.1 KB  |  97 lines
  1. ;PALASM Design Description
  2.  
  3. ;---------------------------------- Declaration Segment ------------
  4. TITLE    TUTOR8.PDS
  5. PATTERN  A
  6. REVISION 1.0
  7. AUTHOR   J.ENGINEER
  8. COMPANY  ADVANCED MICRO DEVICES
  9. DATE     01/01/90
  10.  
  11. CHIP   ANSWER   PAL22V10
  12.  
  13. ;---------------------------------- PIN Declarations ---------------
  14. PIN  1          CLOCK                COMBINATORIAL             ; INPUT
  15. PIN  2          DIALTONE             COMBINATORIAL             ; INPUT
  16. PIN  3          RING                 COMBINATORIAL             ; INPUT
  17. PIN  4          ENDGREETING          COMBINATORIAL             ; INPUT
  18. PIN  5          ENDMESSAGE           COMBINATORIAL             ; INPUT
  19. PIN  12         GND                                            ; INPUT
  20. PIN  17         ANSWER               REGISTERED                ; OUTPUTS
  21. PIN  18         PLAY                 REGISTERED                ; OUTPUTS
  22. PIN  19         RECORD               REGISTERED                ; OUTPUTS
  23. PIN  24         VCC                                            ; INPUT
  24.  
  25. ;-----------------------------------State Segment ------------------
  26. STATE
  27. MOORE_MACHINE
  28. START_UP := POWER_UP -> WAITING
  29.  
  30. ;begin transition equations
  31. WAITING         := BEGINPLAY   -> PLAYING
  32.                 +  IDLE        -> WAITING
  33.  
  34. PLAYING         := BEGINRECORD -> RECORDING
  35.                 +  RUNPLAYER   -> PLAYING
  36.                 +  IDLE        -> WAITING
  37.  
  38. RECORDING       := DONE        -> WAITING
  39.                 +  RUNRECORDER -> RECORDING
  40.  
  41. ;begin output equations
  42. WAITING.OUTF    = /ANSWER * /PLAY * /RECORD
  43.  
  44. PLAYING.OUTF    =  ANSWER *  PLAY * /RECORD
  45.  
  46. RECORDING.OUTF  =  ANSWER * /PLAY *  RECORD
  47.  
  48. ;begin condition equations
  49.  
  50. CONDITIONS
  51. IDLE            =  DIALTONE     * /RING
  52. BEGINPLAY       =  RING         * /DIALTONE
  53. RUNPLAYER       = /DIALTONE     * /ENDGREETING
  54. BEGINRECORD     =  ENDGREETING  * /DIALTONE
  55. RUNRECORDER     = /ENDMESSAGE   * /DIALTONE
  56. DONE            =  ENDMESSAGE   +  DIALTONE
  57.  
  58. ;----------------------------------- Simulation Segment ------------
  59. SIMULATION
  60. TRACE_ON DIALTONE RING ENDMESSAGE ENDGREETING ANSWER PLAY RECORD
  61. SETF /CLOCK /RING DIALTONE /ENDGREETING /ENDMESSAGE
  62. CLOCKF CLOCK
  63. CHECK WAITING                    ; VERIFY WAITING STATE
  64. CLOCKF CLOCK
  65. CHECK /ANSWER /PLAY /RECORD      ; VERIFY OUTPUTS FOR WAITING STATE
  66. CLOCKF CLOCK
  67.  
  68. SETF RING /DIALTONE
  69. CLOCKF CLOCK
  70. CHECK PLAYING                    ; VERIFY PLAYING STATE 
  71. CLOCKF CLOCK
  72. CHECK ANSWER PLAY /RECORD        ; VERIFY OUTPUTS FOR PLAYING STATE
  73. CLOCKF CLOCK
  74.  
  75. SETF /RING
  76. CLOCKF CLOCK
  77. CHECK PLAYING                    ; VERIFY THAT STATE DID NOT ADVANCE
  78. CLOCKF CLOCK
  79. CHECK ANSWER PLAY /RECORD        ; VERIFY THAT OUTPUTS DID NOT CHANGE
  80. CLOCKF CLOCK
  81.  
  82. SETF ENDGREETING
  83. CLOCKF CLOCK
  84. CHECK RECORDING                  ; VERIFY RECORDING STATE
  85. CLOCKF CLOCK
  86. CHECK ANSWER /PLAY RECORD        ; VERIFY OUTPUTS FOR RECORDING STATE
  87. CLOCKF CLOCK
  88.  
  89. SETF ENDMESSAGE
  90. CLOCKF CLOCK
  91. CHECK WAITING                    ; VERIFY RETURN TO WAITING STATE
  92. CLOCKF CLOCK
  93. CHECK /ANSWER /PLAY /RECORD      ; VERIFY OUTPUTS FOR WAITING STATE
  94. CLOCKF CLOCK
  95. TRACE_OFF
  96. ;-------------------------------------------------------------------
  97.