Boolean algebraic manipulation of the constraint functions guarantees that if neither robust nor non-robust tests exist, the fault is undetectable. In its present form the method is applicable to all ...

In light of this, we present a new concept for performing logic-in-memory (LiM) using memristive devices. Our method is based on expressions in the form of sum-of-products (SOP), and it establishes a ...