Jean-Christophe Brignone

According to our database, Jean-Christophe Brignone authored at least 4 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

UPF-Aware CDC Structural Verification on RTL.

Diana Kalel, Jean-Christophe Brignone, Irene Serre, Julian Massicot, Jerome Avezou

Proceedings of the 21st IEEE Interregional NEWCAS Conference, 2023

A Generic CDC Modeling for Data Stability Verification.

Diana Kalel, Jean-Christophe Brignone, Laurent Fesquet, Katell Morin-Allory

Proceedings of the 30th IEEE International Conference on Electronics, Circuits and Systems, 2023

2016

Clock domain crossing formal verification: a meta-model.

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

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

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

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

Proceedings of the 2015 Forum on Specification and Design Languages, 2015