Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs

@article{Thornton2002LogicCE,
  title={Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs},
  author={Mitchell A. Thornton and Rolf Drechsler and Wolfgang G{\"u}nther},
  journal={VLSI Design},
  year={2002},
  volume={2002},
  pages={53-64}
}