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