Formal verification of clock domain crossing using gate-level models of metastable flip-flops.

Ghaith Tarawneh Andrey Mokhov Alex Yakovlev

Published in: DATE (2016)

Keyphrases

formal verification
model checking
domain specific
computer vision
image processing
control system
knowledge based systems