Diana Kalel

According to our database, Diana Kalel authored at least 2 papers in 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