SUBCKT: CA
IN: x11 x12 x21 x22
OUT: Z1 Z2 ;


# NOT: n1 IN: nx11 OUT: x11 ;
# NOT: n2 IN: nx12 OUT: x12 ;
# NOT: n3 IN: nx21 OUT: x21 ;
# NOT: n4 IN: nx22 OUT: x22 ;

AND: a1 IN: x11 x21 OUT: a1 ;
AND: a2 IN: x12 x22 OUT: a2 ;
AND: a3 IN: x21 x12 OUT: a3 ;
AND: a4 IN: x22 x11 OUT: a4 ;

OR: z1 IN: a1 a2 OUT: Z1 ;
OR: z2 IN: a3 a4 OUT: Z2 ;

# XOR: ERR IN: Z1 Z2 OUT: ERR ;




SUBCKT: DFF0
IN: CK nINIT DATA
OUT: Q ;

AND: A1 IN: nINIT DATA OUT: A1 ;
DFF: Q  IN: CK A1      OUT: Q  ;


SUBCKT: DFF1
IN: CK INIT DATA
OUT: Q ;

OR: O1 IN: INIT DATA OUT: O1 ;
DFF: Q  IN: CK O1    OUT: Q  ;


SUBCKT: CSL
IN: CK INIT
OUT: Y1 Y2 Y3 Y4 ;

NOT: nINIT  IN: INIT    OUT: nINIT ;

DFF1: Y1    IN: CK INIT X1  OUT: Y1 ;
DFF0: Y2    IN: CK INIT Y1  OUT: Y2 ;
DFF0: Y3    IN: CK INIT Y2  OUT: Y3 ;
DFF0: Y4    IN: CK INIT Y3  OUT: Y4 ;

XOR: X1 IN: Y1 Y3   OUT:    X1 ;



SUBCKT: LM
IN: y1 y2 y3 y4
OUT: y3 x2 x3 x4 ;

NOT: n11 IN: y3 OUT: x2 ;

NOT: n12 IN: y2 OUT: ny2 ;
NOT: n14 IN: y4 OUT: ny4 ;

AND: a11 IN: y2 x2 OUT: a11 ;
OR: o11 IN: a11 y4 OUT: x3 ;

AND: a12 IN: y3 ny4 OUT: a12 ;
OR: o12 IN: a12 ny2 OUT: x4 ;

CKT: compar
IN: CLK INIT
OUT: Zz1 Zz2 ;

CSL: GEN IN: CLK INIT OUT: Yy1 Yy2 Yy3 Yy4 ;
LM: L1 IN: Yy1 Yy2 Yy3 Yy4 OUT: Yy3 Xx2 Xx3 Xx4 ;
CA: A IN: Yy3 Xx2 Xx3 Xx4 OUT: Zz1 Zz2 ;