MODULE cont59

Clk,AD, Rst pin 1,2,3;

Q6..Q0 pin 17..23 istype 'reg';
Rck pin 14 istype 'com';
declarations
D = [Q6..Q4];
U = [Q3..Q0];
equations
D.clk=Clk;
U.clk=Clk;
D.ar=!Rst;
U.ar=!Rst;
truth_table
([AD,D,U]:>[D,U])
[0,7,^HF]:>[0,0];
[1,7,^HF]:>[0,0];
[0,0,0]:>[0,1];
[0,0,1]:>[0,2];
[0,0,2]:>[0,3];
[0,0,3]:>[0,4];
[0,0,4]:>[0,5];
[0,0,5]:>[0,6];
[0,0,6]:>[0,7];
[0,0,7]:>[0,8];
[0,0,8]:>[0,9];
[0,0,9]:>[1,0];
[0,1,0]:>[1,1];
[0,1,1]:>[1,2];
[0,1,2]:>[1,3];
[0,1,3]:>[1,4];
[0,1,4]:>[1,5];
[0,1,5]:>[1,6];
[0,1,6]:>[1,7];
[0,1,7]:>[1,8];
[0,1,8]:>[1,9];
[0,1,9]:>[2,0];
[0,2,0]:>[2,1];
[0,2,1]:>[2,2];
[0,2,2]:>[2,3];
[0,2,3]:>[2,4];
[0,2,4]:>[2,5];
[0,2,5]:>[2,6];
[0,2,6]:>[2,7];
[0,2,7]:>[2,8];
[0,2,8]:>[2,9];
[0,2,9]:>[3,0];
[0,3,0]:>[3,1];
[0,3,1]:>[3,2];
[0,3,2]:>[3,3];
[0,3,3]:>[3,4];
[0,3,4]:>[3,5];
[0,3,5]:>[3,6];
[0,3,6]:>[3,7];
[0,3,7]:>[3,8];
[0,3,8]:>[3,9];

[0,3,9]:>[4,0];
[0,4,0]:>[4,1];
[0,4,1]:>[4,2];
[0,4,2]:>[4,3];
[0,4,3]:>[4,4];
[0,4,4]:>[4,5];
[0,4,5]:>[4,6];
[0,4,6]:>[4,7];
[0,4,7]:>[4,8];
[0,4,8]:>[4,9];
[0,4,9]:>[5,0];
[0,5,0]:>[5,1];
[0,5,1]:>[5,2];
[0,5,2]:>[5,3];
[0,5,3]:>[5,4];
[0,5,4]:>[5,5];
[0,5,5]:>[5,6];
[0,5,6]:>[5,7];
[0,5,7]:>[5,8];
[0,5,8]:>[5,9];
[0,5,9]:>[0,0];
[1,0,0]:>[5,9];
[1,0,1]:>[0,0];
[1,0,2]:>[0,1];
[1,0,3]:>[0,2];
[1,0,4]:>[0,3];
[1,0,5]:>[0,4];
[1,0,6]:>[0,5];
[1,0,7]:>[0,6];
[1,0,8]:>[0,7];
[1,0,9]:>[0,8];
[1,1,0]:>[0,9];
[1,1,1]:>[1,0];
[1,1,2]:>[1,1];
[1,1,3]:>[1,2];
[1,1,4]:>[1,3];
[1,1,5]:>[1,4];
[1,1,6]:>[1,5];
[1,1,7]:>[1,6];
[1,1,8]:>[1,7];
[1,1,9]:>[1,8];
[1,2,0]:>[1,9];
[1,2,1]:>[2,0];
[1,2,2]:>[2,1];
[1,2,3]:>[2,2];
[1,2,4]:>[2,3];
[1,2,5]:>[2,4];
[1,2,6]:>[2,5];
[1,2,7]:>[2,6];
[1,2,8]:>[2,7];
[1,2,9]:>[2,8];
[1,3,0]:>[2,9];
[1,3,1]:>[3,0];
[1,3,2]:>[3,1];
[1,3,3]:>[3,2];
[1,3,4]:>[3,3];
[1,3,5]:>[3,4];
[1,3,6]:>[3,5];
[1,3,7]:>[3,6];
[1,3,8]:>[3,7];

[1,3,9]:>[3,8];
[1,4,0]:>[3,9];
[1,4,1]:>[4,0];
[1,4,2]:>[4,1];
[1,4,3]:>[4,2];
[1,4,4]:>[4,3];
[1,4,5]:>[4,4];
[1,4,6]:>[4,5];
[1,4,7]:>[4,6];
[1,4,8]:>[4,7];
[1,4,9]:>[4,8];
[1,5,0]:>[4,9];
[1,5,1]:>[5,0];
[1,5,2]:>[5,1];
[1,5,3]:>[5,2];
[1,5,4]:>[5,3];
[1,5,5]:>[5,4];
[1,5,6]:>[5,5];
[1,5,7]:>[5,6];
[1,5,8]:>[5,7];
[1,5,9]:>[5,8];
truth_table
([AD,D,U]->[Rck])
[0,0,0]->[1];
[0,0,1]->[1];
[0,0,2]->[1];
[0,0,3]->[1];
[0,0,4]->[1];
[0,0,5]->[1];
[0,0,6]->[1];
[0,0,7]->[1];
[0,0,8]->[1];
[0,0,9]->[1];
[0,1,0]->[1];
[0,1,1]->[1];
[0,1,2]->[1];
[0,1,3]->[1];
[0,1,4]->[1];
[0,1,5]->[1];
[0,1,6]->[1];
[0,1,7]->[1];
[0,1,8]->[1];
[0,1,9]->[1];
[0,2,0]->[1];
[0,2,1]->[1];
[0,2,2]->[1];
[0,2,3]->[1];
[0,2,4]->[1];
[0,2,5]->[1];
[0,2,6]->[1];
[0,2,7]->[1];
[0,2,8]->[1];
[0,2,9]->[1];
[0,3,0]->[1];
[0,3,1]->[1];
[0,3,2]->[1];
[0,3,3]->[1];
[0,3,4]->[1];
[0,3,5]->[1];

[0,3,6]->[1];
[0,3,7]->[1];
[0,3,8]->[1];
[0,3,9]->[1];
[0,4,0]->[1];
[0,4,1]->[1];
[0,4,2]->[1];
[0,4,3]->[1];
[0,4,4]->[1];
[0,4,5]->[1];
[0,4,6]->[1];
[0,4,7]->[1];
[0,4,8]->[1];
[0,4,9]->[1];
[0,5,0]->[1];
[0,5,1]->[1];
[0,5,2]->[1];
[0,5,3]->[1];
[0,5,4]->[1];
[0,5,5]->[1];
[0,5,6]->[1];
[0,5,7]->[1];
[0,5,8]->[1];
[0,5,9]->[0];
[1,0,0]->[0];
[1,0,1]->[1];
[1,0,2]->[1];
[1,0,3]->[1];
[1,0,4]->[1];
[1,0,5]->[1];
[1,0,6]->[1];
[1,0,7]->[1];
[1,0,8]->[1];
[1,0,9]->[1];
[1,1,0]->[1];
[1,1,1]->[1];
[1,1,2]->[1];
[1,1,3]->[1];
[1,1,4]->[1];
[1,1,5]->[1];
[1,1,6]->[1];
[1,1,7]->[1];
[1,1,8]->[1];
[1,1,9]->[1];
[1,2,0]->[1];
[1,2,1]->[1];
[1,2,2]->[1];
[1,2,3]->[1];
[1,2,4]->[1];
[1,2,5]->[1];
[1,2,6]->[1];
[1,2,7]->[1];
[1,2,8]->[1];
[1,2,9]->[1];
[1,3,0]->[1];
[1,3,1]->[1];
[1,3,2]->[1];
[1,3,3]->[1];
[1,3,4]->[1];
[1,3,5]->[1];

[1,3,6]->[1];
[1,3,7]->[1];
[1,3,8]->[1];
[1,3,9]->[1];
[1,4,0]->[1];
[1,4,1]->[1];
[1,4,2]->[1];
[1,4,3]->[1];
[1,4,4]->[1];
[1,4,5]->[1];
[1,4,6]->[1];
[1,4,7]->[1];
[1,4,8]->[1];
[1,4,9]->[1];
[1,5,0]->[1];
[1,5,1]->[1];
[1,5,2]->[1];
[1,5,3]->[1];
[1,5,4]->[1];
[1,5,5]->[1];
[1,5,6]->[1];
[1,5,7]->[1];
[1,5,8]->[1];
[1,5,9]->[1];
END