Dynamic partial reconfiguration verification using assertion based verification.

Islam Ahmed Hassan Mostafa Ahmed Nader Mohieldin

Published in: DTIS (2018)

Keyphrases

formal methods
model checking
artificial intelligence
formal verification
video sequences
dynamic environments
real time
e learning
image processing
feature extraction
multiscale
data structure
search space
evolutionary algorithm
multiresolution