Interview Question for VerificationEngineer at Actel:

To cross clock domains, you need a dual-port FIFO. YOu'd write into one port at the source domain and read out with the second clock at the destination domain. To keep track of the FIFO pointer for read/write you need a gray code counter to increment.