Bing Li Chris Ka-Kei Kwok Automatic formal verification of clock domain crossing signals. 654-659 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509782 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#LiK09