Equivalence checking of partial designs using dependency quantified Boolean formulae | IEEE Conference Publication | IEEE Xplore