Formal Verification of Synchronizers. - Tsachy Kapschitz; Ran Ginosar (CHARME, 2005)

A predictive synchronizer for periodic clock domains. - Uri Frank; Tsachy Kapschitz; Ran Ginosar (Formal Methods Syst. Des., 2006)