Enabler-based synchronizer model for clock domain crossing static verification.

Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione

Browse the full FDL paper archive.