A Symbolic Method To Reduce Power Consumption Of Circuits Containing False Paths | IEEE Conference Publication | IEEE Xplore