US7908575B2 - Enhanced Verification Through Binary Decision Diagram-Based Target Decomposition Using State Analysis Extraction