Bing Li, Chris Ka-Kei Kwok. Automatic formal verification of clock domain crossing signals. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 654-659, IEEE, 2009. [doi]
Abstract is missing.