交通灯.txt

数字逻辑交通信号灯课程设计代码请指正

MODULE traffic

clock PIN ;
E PIN ;//紧急状况
S PIN ;//进入状态
a5..a0  NODE ISTYPE'REG';控制灯状态
b5..b0 pin ISTYPE'COM';南边红黄绿 东边...
d3..d0 pin  ISTYPE'REG';//倒计时 
e3..e0 pin  ISTYPE'REG';

s1=[d3..d0];
s2=[e3..e0];
s3=[a5..a0];
//TRUTH_TABLE([E,a5,a4]:>[b5,b4,b3,b2,b1,b0])  IN  IC16
           
//[1,x,x]:>[1,0,0,1,0,0];
//[]:>[0,0,0,0,0,0];  
//[1,x,x]:>[1,0,0,1,0,0];  
//[0,1,1]:>[1,0,0,0,0,1];   
//[0,1,0]:>[1,0,0,0,1,0];
//[]:>[1,0,0,0,0,0];
//[0,0,0]:>[0,0,1,1,0,0];   
//[0,0,1]:>[0,1,0,1,0,0];   
//[]:>[0,0,0,1,0,0];
//[]:>[0,0,0,0,0,0];
equations

b5=a5#E;
b4=a4&!a5&!E;
b3=!a4&!a5&!E;
b2=!a5#E;
b1=!a4&a5&!E;
b0=a4&a5&!E;



s1.clk=((clock==1&E==0)#(S==1&E==0));
when(E==1) then s1:=s1.fb;
else when(S==1) then s1=4;
else when(s1==0 &b5) then s1=4;
else when(s1==0 &b3) then s1=1;
else when(s1==0 &b4) then s1=5;
else when(s1!=0) then s1:=s1.fb-1;

s2.clk=((clock==1&E==0)#(S==1&E==0));
when(E==1) then s2:=s2.fb;
else when(S==1) then s2=5;
else when(s2==0 &b2) then s2=4;
else when(s2==0 &b0) then s2=1;
else when(s2==0 &b1) then s2=5;
else when(s2!=0) then s2:=s2.fb-1;

s3.clk=((clock==1&E==0)#(S==1&E==0));
when(E==1) then s3:=s3.fb;
else when(S==1) then s3=0;
else when(s3==0) then s3=1;
else when(s3==1) then s3=3;
else when(s3==3) then s3=7;
else when(s3==7) then s3=15;
else when(s3==15) then s3=31;
else when(s3==31) then s3=63;
else when(s3==63) then s3=62;
else when(s3==62) then s3=60;
else when(s3==60) then s3=56;
else when(s3==56) then s3=48;
else when(s3==48) then s3=32;
else when(s3==32) then s3=0;

END