A Generic CDC Modeling for Data Stability Verification. - Diana Kalel; Jean-Christophe Brignone; Laurent Fesquet; Katell Morin-Allory (ICECS, 2023)

UPF-Aware CDC Structural Verification on RTL. - Diana Kalel; Jean-Christophe Brignone; Irene Serre; Julian Massicot; Jerome Avezou (NEWCAS, 2023)