BDD-Based Test Pattern Generation andRedundant Gate Identication of ReversibleBDD-Based Test Pattern Generation andRedundant Gate Identication of ReversibleBDD-Based Test Pattern Generation and Redundant Gate Identification of Reversible Circuits