DEFUSE: A Deterministic Functional Self-Test Methodology for Processors