Abstract: A method of identifying redundant and untestable faults in a sequential logic circuit. A lead in the circuit is selected and the circuit is analyzed to determine which faults would be hypothetically undetectable at a given time frame if the selected circuit lead were unable to assume a logic 0 at a starting time frame, and which faults would be hypothetically undetectable at the given time frame if the selected circuit lead were unable to assume a logic 1 at the starting time frame. Faults that would be undetectable at the given time frame in both hypothetical cases are identified as redundant and untestable faults. This analysis may be repeated for each of a plurality of time frames in a range of time frames which includes the starting time frame.

Abstract: Non-paraffinic hydrocarbons, such as aromatic hydrocarbons, in a stream of paraffinic hydrocarbons are removed in an operation adaptable for continuous operation by contacting the paraffinic hydrocarbon stream with an oxidation system comprising an aqueous solution of hypochlorite, such as sodium hypochlorite, and a ruthenium species, such as ruthenium dioxide, as the oxidation catalyst. The ruthenium species is oxidized by the hypochlorite to a higher oxidation state with resulting selective oxidation of the non-paraffinic hydrocarbons to water-soluble compounds and/or CO.sub.2. A stream of paraffinic hydrocarbons having a substantially reduced content of or substantially free of non-paraffinic hydrocarbons is recoverable and, if desired, a stream of recovered paraffinic hydrocarbons may be recycled for additional contact with the oxidation system.