Equations

********** Mapped Logic **********
PASS <= NOT (((NOT VOTER(3) AND NOT VOTER(0) AND NOT VOTER(1))
      OR (NOT VOTER(3) AND NOT VOTER(0) AND NOT VOTER(2))
      OR (NOT VOTER(3) AND NOT VOTER(1) AND NOT VOTER(2))
      OR (NOT VOTER(0) AND NOT VOTER(1) AND NOT VOTER(2))));
Register Legend:
      FDCPE (Q,D,C,CLR,PRE);
      FTCPE (Q,D,C,CLR,PRE);
      LDCP (Q,D,G,CLR,PRE);