"Conclusively verifying clock-domain crossings in very large hardware designs."

Guillaume Plassan et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics