Veerapaneni Nagbhushan, C. Y. Roger Chen. Algorithms to simplify multi-clock/edge timing constraints. In 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings. pages 444-449, IEEE, 2007. [doi]
Abstract is missing.