Integrating a Boolean satisfiability checker and BDDs for combinational equivalence checking | IEEE Conference Publication | IEEE Xplore