Equivalence checking of combinational switching functions using ROBDD | IEEE Conference Publication | IEEE Xplore