home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
HAM Radio 1
/
HamRadio.cdr
/
tech
/
palsum7
/
straffic.pds
< prev
Wrap
Text File
|
1987-08-26
|
2KB
|
96 lines
TITLE TRAFFIC SIGNAL CONTROLLER
PATTERN STATE MACHINE
REVISION 1
AUTHOR J. ENGINEER
COMPANY MONOLITHIC MEMORIES
DATE JANUARY 30, 1987
CHIP S_MACHINE PMS14R21
CLOCK DCLOCK SEN1 SEN2 I2 I3 I4 I5 I6 I7 SDI GND
RESET SDO RED1 YEL1 GRN1 RED2 YEL2 GRN2 O1 O0 MODE VCC
STATE
MOORE_MACHINE
MASTER_RESET
DEFAULT_OUTPUT /RED1 /YEL1 /GRN1 /RED2 /YEL2 /GRN2
POWER_UP := VCC -> S0
S0 := C3 -> S1
+ C0 -> S1
+ C1 -> S2
+-> S0
S1 := VCC -> S2
S2 := VCC -> S3
S3 := VCC -> S4
S4 := C3 -> S5
+ C0 -> S5
+ C2 -> S6
+-> S4
S5 := VCC -> S6
S6 := VCC -> S7
S7 := VCC -> S0
S0.OUTF := GRN1 * RED2
S1.OUTF := GRN1 * RED2
S2.OUTF := GRN1 * RED2
S3.OUTF := YEL1 * RED2
S4.OUTF := RED1 * GRN2
S5.OUTF := RED1 * GRN2
S6.OUTF := RED1 * GRN2
S7.OUTF := RED1 * YEL2
CONDITIONS
C0 = /SEN1 * /SEN2
C1 = /SEN1 * SEN2
C2 = SEN1 * /SEN2
C3 = SEN1 * SEN2
EQUATIONS
SIMULATION
TRACE_ON CLOCK SEN1 SEN2 RED1 YEL1 GRN1 RED2 YEL2 GRN2
SETF RESET /CLOCK
CLOCKF CLOCK ;STATE TRANSITION ONLY ON 1ST CLOCK
CHECK /RED1 /YEL1 GRN1 /YEL2 /GRN2 RED2
SETF /SEN1 /SEN2
CLOCKF CLOCK
CLOCKF CLOCK
CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
CLOCKF CLOCK
CHECK /RED1 YEL1 /GRN1 RED2 /YEL2 /GRN2
CLOCKF CLOCK
CHECK RED1 /YEL1 /GRN1 /RED2 /YEL2 GRN2
CLOCKF CLOCK
CHECK RED1 /YEL1 /GRN1 /RED2 /YEL2 GRN2
CLOCKF CLOCK
CHECK RED1 GRN2
CLOCKF CLOCK
CHECK RED1 YEL2
CLOCKF CLOCK
CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
SETF /SEN1 SEN2
CLOCKF CLOCK
CHECK /RED1 /YEL1 GRN1 RED2 /YEL2 /GRN2
CLOCKF CLOCK
CLOCKF CLOCK
SETF SEN1 /SEN2
CLOCKF CLOCK
CLOCKF CLOCK
CHECK YEL2 RED1
CLOCKF CLOCK
CHECK GRN1 RED2
TRACE_OFF