Login / Signup
Diana Kalel
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Raw Data
Spatial Data
Structural Constraints
Consistency Checking
Top Venues
ICECS
NEWCAS
</>
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)