Publications

Publications

< retour aux publications

Enabler-Based Synchronizer Model for Clock Domain Crossing static Verification

Auteur(s) : M. Kebaili, K. Morin-Allory, J.C. Brignone, D. Borrione

Doc. Source: Forum on specification & Design Languages (FDL'15)

Publisher : ECSI