a.abl

这是一个用abel语言编写的巴克码的源程序

MODULE a

clk,x,y,out    pin;
d2,d1,d0,q2,q1,q0    pin istype'reg';
   


q=[q2,q1,q0];//为了减少d的使用
s0=^b000;
s1=^b001;
s2=^b010;
s3=^b011;
s4=^b100;
s5=^b101;
s6=^b110;
c,k=.c.,.x.;
equations
d2.clk=clk;
d1.clk=clk;
d0.clk=clk;
d2:=d2&!d1&!d0&!x#d2&d0#d1&d0&!x;
d1:=d1&x#d0&x;
d0:=!d1&!d0&x#d2&!d1&!d0#!d2&d1&x;
y=d2&d1&!d0&!x;


q.clk=clk;
state_diagram q
state s0:goto s1 with out=1;
state s1:goto s2 with out=1;
state s2:goto s3 with out=1;
state s3:goto s4 with out=0;
state s4:goto s5 with out=0;
state s5:goto s6 with out=1;
state s6:goto s0 with out=0;

test_vectors
 
([clk,x]->[y,out])
[c,1]->[k,k];
[c,1]->[k,k];
[c,1]->[k,k];
[c,1]->[k,k];
[c,0]->[k,k];
[c,0]->[k,k];
[c,1]->[k,k];
[c,0]->[k,k];
[c,1]->[k,k];
[c,1]->[k,k];
[c,1]->[k,k];
[c,0]->[k,k];
[c,0]->[k,k];
[c,1]->[k,k];
[c,0]->[k,k];
[c,1]->[k,k];
[c,1]->[k,k];





END