An algebraic decision diagram (ADD) based technique to find leakage histograms of combinational designs | IEEE Conference Publication | IEEE Xplore