Signals crossing power and clock domains in an SoC

In a system-on-chip with several power domains and clock domains, explain how signals safely cross between them: synchronizers for single bits, handshakes or asynchronous FIFOs for buses, isolation cells and level shifters when a domain powers down, and how you verify these crossings.