home *** CD-ROM | disk | FTP | other *** search
/ HAM Radio 1 / HamRadio.cdr / tech / palsum7 / straffic.pds < prev   
Encoding:
Text File  |  1987-08-26  |  2.1 KB  |  96 lines
  1. TITLE           TRAFFIC SIGNAL CONTROLLER
  2. PATTERN         STATE MACHINE
  3. REVISION        1
  4. AUTHOR          J. ENGINEER
  5. COMPANY         MONOLITHIC MEMORIES 
  6. DATE            JANUARY 30, 1987
  7.   
  8. CHIP    S_MACHINE PMS14R21
  9.         CLOCK DCLOCK SEN1 SEN2 I2 I3 I4 I5 I6 I7 SDI GND
  10.         RESET SDO RED1 YEL1 GRN1 RED2 YEL2 GRN2 O1 O0 MODE VCC
  11. STATE
  12.         MOORE_MACHINE
  13.         MASTER_RESET
  14.         DEFAULT_OUTPUT /RED1 /YEL1 /GRN1 /RED2 /YEL2 /GRN2
  15.   
  16.         POWER_UP :=  VCC -> S0
  17.         S0  :=    C3  ->  S1
  18.               +   C0  ->  S1
  19.               +   C1  ->  S2
  20.                      +->  S0
  21.         S1  :=  VCC ->  S2
  22.         S2  :=  VCC ->  S3
  23.         S3  :=  VCC ->  S4
  24.         S4  :=    C3  ->  S5
  25.               +   C0  ->  S5
  26.               +   C2  ->  S6 
  27.                      +->  S4
  28.         S5  :=  VCC ->  S6
  29.         S6  :=  VCC ->  S7
  30.         S7  :=  VCC ->  S0
  31.   
  32.         S0.OUTF  :=  GRN1  *  RED2
  33.         S1.OUTF  :=  GRN1  *  RED2
  34.         S2.OUTF  :=  GRN1  *  RED2
  35.         S3.OUTF  :=  YEL1  *  RED2
  36.         S4.OUTF  :=  RED1  *  GRN2
  37.         S5.OUTF  :=  RED1  *  GRN2
  38.         S6.OUTF  :=  RED1  *  GRN2
  39.         S7.OUTF  :=  RED1  *  YEL2
  40.   
  41. CONDITIONS
  42.         C0  =  /SEN1  *  /SEN2
  43.         C1  =  /SEN1  *  SEN2
  44.         C2  =  SEN1   *  /SEN2
  45.         C3  =  SEN1   *  SEN2
  46.   
  47. EQUATIONS
  48.   
  49. SIMULATION
  50.   
  51. TRACE_ON CLOCK SEN1 SEN2 RED1 YEL1 GRN1 RED2 YEL2 GRN2
  52. SETF RESET /CLOCK
  53. CLOCKF CLOCK ;STATE TRANSITION ONLY ON 1ST CLOCK
  54.   
  55. CHECK /RED1 /YEL1 GRN1 /YEL2 /GRN2 RED2
  56.   
  57. SETF /SEN1 /SEN2
  58. CLOCKF CLOCK
  59.   
  60. CLOCKF CLOCK
  61. CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
  62.   
  63. CLOCKF CLOCK
  64. CHECK /RED1 YEL1 /GRN1 RED2 /YEL2 /GRN2
  65.   
  66. CLOCKF CLOCK
  67. CHECK RED1 /YEL1 /GRN1 /RED2 /YEL2 GRN2
  68.   
  69. CLOCKF CLOCK
  70. CHECK RED1 /YEL1 /GRN1 /RED2 /YEL2 GRN2
  71.   
  72. CLOCKF CLOCK
  73. CHECK RED1 GRN2
  74.   
  75. CLOCKF CLOCK
  76. CHECK RED1 YEL2
  77.   
  78. CLOCKF CLOCK
  79. CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
  80.   
  81. SETF /SEN1 SEN2
  82. CLOCKF CLOCK
  83. CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
  84.   
  85. CLOCKF CLOCK
  86. CLOCKF CLOCK
  87. SETF SEN1 /SEN2
  88. CLOCKF CLOCK
  89. CLOCKF CLOCK
  90. CHECK YEL2 RED1
  91. CLOCKF CLOCK
  92. CHECK GRN1 RED2
  93.   
  94. TRACE_OFF
  95.  
  96.