Incorporating logic exclusivity (LE) constraints in noise analysis using gain guided backtracking method | IEEE Conference Publication | IEEE Xplore