BDD-Based Hardware Verification