US7280993B2 - Reachability-Based Verification of a Circuit Using One or More Multiply Rooted Binary Decision Diagrams