PR-501

Equations

/** Inputs **/
Pin	2 = i2;
Pin	3 = i3;
Pin	4 = i4;
Pin	5 = i5;
Pin	6 = i6;
Pin	7 = i7;
Pin	8 = i8;
Pin	9 = i9;

/** Outputs **/
Pin	12 = o12; /**(Combinatorial, Output feedback output, Active high) **/
Pin	13 = o13; /**(Combinatorial, Output feedback output, Active high) **/
Pin	14 = o14; /**(Combinatorial, Output feedback output, Active high) **/
Pin	15 = o15; /**(Combinatorial, Output feedback output, Active low) **/
Pin	16 = o16; /**(Combinatorial, Output feedback output, Active low) **/
Pin	17 = o17; /**(Registered, Output feedback registered, Active low) **/
Pin	18 = o18; /**(Registered, Output feedback registered, Active low) **/
Pin	19 = o19; /**(Combinatorial, Output feedback output, Active low) **/

/** Equations **/

o12 = !i5 & i6;

o13 = i5 & i6
    # i6 & i8;

o14 = i5
    # i6 & i7;

!o15 = i4 & i5 & i6 & !i9;

!o16 = i3 & !i4 & i5 & i6 & !i9;

!o17.d =  i2 & !i3 & !i4 & i5 & i6 & !i9;
o17.oe = OE;

!o18.d =  !i2 & !i3 & !i4 & i5 & i6 & !i9;
o18.oe = OE;

!o19 = !i5 & !i9
     # !i6 & !i9;