Automatic Clock Domain Crossing Verification Flow For Dynamic Partial Reconfiguration.

Islam Ahmed Hassan Mostafa Ahmed Nader Mohieldin

Published in: MWSCAS (2018)

Keyphrases

semi automatic
data driven
dynamic environments
partial information
multiscale
high speed
domain specific
domain ontology
model checking
neural network
control system
knowledge acquisition
context sensitive