Diagnosing faulty functional units in processors by using automatically generated test sets