Algorithms to simplify multi-clock/edge timing constraints | IEEE Conference Publication | IEEE Xplore