https://vlsiweb.com/clock-domain-crossing-constraints/