Efficient assertion based verification using TLM.

Ali Habibi Sofiène Tahar Amer Samarah Donglin Li Otmane Aït Mohamed

Published in: DATE (2006)

Keyphrases

model checking
neural network
real world
multiresolution
lightweight
data sets
databases
machine learning
computer vision
case study
multiscale
reinforcement learning
face verification
formal verification