/** Inputs **/
Pin 1 = i1;
Pin 2 = i2;
Pin 3 = i3;
Pin 4 = i4;
Pin 5 = i5;
Pin 6 = i6;
Pin 7 = i7;
Pin 8 = i8;
/** Outputs **/
Pin 9 = o9; /**(Combinatorial, Output feedback output, Active high) **/
Pin 11 = o11; /**(Combinatorial, Output feedback output, Active high) **/
Pin 12 = o12; /**(Combinatorial, Output feedback output, Active low) **/
Pin 13 = o13; /**(Combinatorial, Output feedback output, Active low) **/
Pin 14 = o14; /**(Combinatorial, Output feedback output, Active high) **/
Pin 15 = o15; /**(Combinatorial, Output feedback output, Active high) **/
Pin 16 = o16; /**(Combinatorial, Output feedback output, Active high) **/
Pin 17 = o17; /**(Combinatorial, Output feedback output, Active high) **/
Pin 18 = o18; /**(Combinatorial, Output feedback output, Active high) **/
Pin 19 = o19; /**(Combinatorial, Output feedback output, Active high) **/
/** Equations **/
o9 = !i4 & o14
# i4 & o17;
o11 = !i4 & o15
# i4 & o18;
!o12 = !i4 & o16
# i4 & o19;
!o13 = !i4 & !o16
# i4 & !o19;
o14 = i5 & o14
# i7 & o14
# i6 & o14
# i1 & !i5 & !i6 & !i7;
o15 = i5 & o15
# i7 & o15
# i6 & o15
# i2 & !i5 & !i6 & !i7;
o16 = i5 & o16
# i7 & o16
# i6 & o16
# i3 & !i5 & !i6 & !i7;
o17 = !i5 & o17
# i7 & o17
# i6 & o17
# i1 & i5 & !i6 & !i7;
o18 = !i5 & o18
# i7 & o18
# i6 & o18
# i2 & i5 & !i6 & !i7;
o19 = !i5 & o19
# i7 & o19
# i6 & o19
# i3 & i5 & !i6 & !i7;