Clock domain crossing is a named problem with a finite set of solutions. When you get out of abstract logical domains into real world physics, than the notion

Clock domain crossing is a named problem with a finite set of solutions. When you get out of abstract logical domains into real world physics, than the notion of machine state becomes fuzzier at higher clock speeds. Good luck. =)