MODULE count16b

TITLE 'nochn counter'
PLSI PROPERTY 'LXOR2 N_Q0';
PLSI PROPERTY 'LXOR2 N_Q1';
PLSI PROPERTY 'LXOR2 N_Q2';
PLSI PROPERTY 'LXOR2 N_Q3';
PLSI PROPERTY 'LXOR2 N_Q4';
PLSI PROPERTY 'LXOR2 N_Q5';
PLSI PROPERTY 'LXOR2 N_Q6';
PLSI PROPERTY 'LXOR2 N_Q7';
PLSI PROPERTY 'LXOR2 N_Q8';
PLSI PROPERTY 'LXOR2 N_Q9';
PLSI PROPERTY 'LXOR2 N_Q10';
PLSI PROPERTY 'LXOR2 N_Q11';
PLSI PROPERTY 'LXOR2 N_Q12';
PLSI PROPERTY 'LXOR2 N_Q13';
PLSI PROPERTY 'LXOR2 N_Q14';
PLSI PROPERTY 'LXOR2 N_Q15';


CLK,CU,CD,RES	PIN;
Q15..Q0		PIN ISTYPE 'REG,BUFFER';

N_Q15..N_Q0	NODE ISTYPE 'COM,XOR';


count = [Q15..Q0];
n_count = [N_Q15..N_Q0];

EQUATIONS
count.CLK = CLK;
count.AR = RES;

N_Q0 = Q0 $ (CU 
	# CD);
N_Q1 = Q1 $ ((Q0 & CU) 
	# (!Q0 & CD));
N_Q2 = Q2 $ ((Q0 & Q1 & CU) 
	# (!Q0 & !Q1 & CD));
N_Q3 = Q3 $ ((Q0 & Q1 & Q2 & CU) 
	# (!Q0 & !Q1 & !Q2 & CD));
N_Q4 = Q4 $ ((Q0 & Q1 & Q2 & Q3 & CU) 
	# (!Q0 & !Q1 & !Q2 & !Q3 & CD));
N_Q5 = Q5 $ ((Q0 & Q1 & Q2 & Q3 & Q4 & CU) 
	# (!Q0 & !Q1 & !Q2 & !Q3 & !Q4 & CD));
N_Q6 = Q6 $ ((Q0 & Q1 & Q2 &  Q3 & Q4 & Q5 & CU) 
	# (!Q0 & !Q1 & !Q2 &  !Q3 & !Q4 & !Q5 & CD));
N_Q7 = Q7 $ ((Q0 & Q1 & Q2 & Q3 & Q4 &  Q5 &  Q6 & CU) 
	# (!Q0 & !Q1 & !Q2 & !Q3 & !Q4 &  !Q5 &  !Q6 & CD));
N_Q8 = Q8 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 & CD));
N_Q9 = Q9 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 & CD));
N_Q10 = Q10 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 & CD));
N_Q11 = Q11 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 &  Q10 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 &  !Q10 & CD));
N_Q12 = Q12 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 &  Q10 &  Q11 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 &  !Q10 &  !Q11 & CD));
N_Q13 = Q13 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 &  Q10 &  Q11 &  Q12 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 &  !Q10 &  !Q11 &  !Q12 & CD));
N_Q14 = Q14 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 &  Q10 &  Q11 &  Q12 &  Q13 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 &  !Q10 &  !Q11 &  !Q12 &  !Q13 & CD));
N_Q15 = Q15 $ (( Q0 &  Q1 &  Q2 &  Q3 &  Q4 &  Q5 &  Q6 &  Q7 &  Q8 &  Q9 &  Q10 &  Q11 &  Q12 &  Q13 &  Q14 & CU) 
	# ( !Q0 &  !Q1 &  !Q2 &  !Q3 &  !Q4 &  !Q5 &  !Q6 &  !Q7 &  !Q8 &  !Q9 &  !Q10 &  !Q11 &  !Q12 &  !Q13 &  !Q14 & CD));




count.D = n_count;


END