B93-09

Found on...

Rambo 3
Equations

/** 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;
Pin	9 = i9;
Pin	11 = i11;
Pin	14 = i14;

/** Outputs **/
Pin	13 = o13; /**(Combinatorial, Output feedback output, Active low) **/
Pin	15 = o15; /**(Combinatorial, Output feedback output, Active low) **/
Pin	16 = o16; /**(Combinatorial, Output feedback output, Active low) **/
Pin	17 = o17; /**(Combinatorial, Output feedback output, Active low) **/
Pin	18 = o18; /**(Combinatorial, Output feedback output, Active low) **/
Pin	19 = o19; /**(Combinatorial, Output feedback output, Active low) **/

/** Equations **/

!o13 = !i4 & i5 & i6 & i7;

!o15 = i3 & i9 & !o16
     # i9 & o13 & !o16
     # i3 & !i9 & !o15
     # !i9 & o13 & !o15;

!o16 = !i9 & o13
     # i3 & !i9
     # i3 & i9 & !o16
     # o13 & !o16;

!o17 = !i3 & i11 & !o18
     # i11 & o13 & !o18
     # !i3 & !i11 & !o17
     # !i11 & o13 & !o17;

!o18 = !i11 & o13
     # !i3 & !i11
     # !i3 & i11 & !o18
     # o13 & !o18;

!o19 = !o15 & o17;