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