On the detection and elimination of superfluous level-sensitive latches | IEEE Conference Publication | IEEE Xplore