Multiple clock domain synchronization in a QBF-based verification environment.

Djordje Maksimovic Bao Le Andreas G. Veneris

Published in: ICCAD (2014)

Keyphrases

dynamic environments
domain independent
real time
domain specific
power consumption
high speed
domain experts
model checking
neural network
search algorithm
np hard
domain knowledge
mobile robot
transfer learning
autonomous agents