// TOOL ispDesignEXPERT 8.1
// MODULE traffic
NETWORK TRAFFIC
MODULE traffic
XRESET_SIGNAL !XRESET 0@0ns 1@0ns
XRESET_SIGNAL XRESET 0@0ns 1@0ns
VECTOR XTEST_OE PATTERN 1#0ns
ftrace(traffic.tra, "%12t: %b%b%b%b->%b%b%b%b%b%b",$time,clock,reset,sensor1,sensor2,red1,yellow1,green1,red2,yellow2,green2);
SET INTERNAL_ONLY_ALL_SET$$ [clock,reset,sensor1,sensor2,red1,yellow1,green1,red2,yellow2,green2]
BREAK IF INTERNAL_ONLY_ALL_SET$$ ->? DO PRINT
VECTOR clock INIT X PATTERN 1*(0#0,1#1,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,\
0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,0#1)
VECTOR reset INIT X PATTERN 1*(0#0,1#3,0#3,0#30)
VECTOR sensor1 INIT X PATTERN 1*(X#0,1#6,1#30)
VECTOR sensor2 INIT X PATTERN 1*(X#0,1#6,0#18,0#12)
EXPECT red1 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,\
X#1,X#1,0#1,X#1,X#1,0#1);
EXPECT yellow1 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,1#1,\
X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,0#1,X#1,X#1,0#1);
EXPECT green1 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,0#1,\
X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,1#1,X#1,X#1,1#1);
EXPECT red2 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,\
X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,1#1,X#1,X#1,1#1);
EXPECT yellow2 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,1#1,\
X#1,X#1,0#1,X#1,X#1,0#1);
EXPECT green2 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,X#1,X#1,0#1,\
X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,1#1,X#1,X#1,0#1,\
X#1,X#1,0#1,X#1,X#1,0#1);
RUN