An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques