Mejid Kebaili

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Formal Verification

Domain Independent

Power Consumption

Top Venues

Publications

Mejid Kebaili, Jean-Christophe Brignone, Katell Morin-Allory
Clock domain crossing formal verification: a meta-model. HLDVT (2016)
Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione
Enabler-based synchronizer model for clock domain crossing static verification. FDL (2015)