UPF-Aware CDC Structural Verification on RTL.

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

Published in: NEWCAS (2023)

Keyphrases

model checking
np complete
databases
structural features
structural information
genetic algorithm
information retrieval
face verification
structural constraints
search algorithm
probabilistic model
neural network
model based diagnosis
database
consistency checking
high security
functional verification