Enabler-based synchronizer model for clock domain crossing static verification. - Mejid Kebaili; Katell Morin-Allory; Jean-Christophe Brignone; Dominique Borrione (FDL, 2015)

Clock domain crossing formal verification: a meta-model. - Mejid Kebaili; Jean-Christophe Brignone; Katell Morin-Allory (HLDVT, 2016)