Jean-Christophe Brignone

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 3

Top Topics

Structural Constraints

Top Venues

Publications

Diana Kalel, Jean-Christophe Brignone, Laurent Fesquet, Katell Morin-Allory
A Generic CDC Modeling for Data Stability Verification. ICECS (2023)
Diana Kalel, Jean-Christophe Brignone, Irene Serre, Julian Massicot, Jerome Avezou
UPF-Aware CDC Structural Verification on RTL. NEWCAS (2023)
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)