**Require**: |

**Ensure**: |

(1) *Starting from the first configuration * |

Initialize CUT = 1 |

(2) **while** CUT < **do** |

(3) *Choose the next configuration from the configurations pool as slack * |

Designate the CUT as active configuration, and RS = CUT + 1 as slack. |

Then, the pair under test is given by: = {CUT, RS} |

(4) *Exhaustive evaluation method involves applying all the points in the input space of circuit * |

Perform concurrent comparison to the same inputs for various edges of the graph represented by connectivity matrix |

(5) *Evaluate all the possible configurations pair to complete the syndrome matrix * |

Update the Syndrome Matrix based upon comparisons outcome of all possible inputs |

(6) CUT = CUT + 1 |

(7) **end while** |

(8) *This method involves exploration of the entire input-space and thus exposes all the operationally manifested faults * |

Given , isolate the faulty nodes: |

and , if , and |

if , , and |