跨时钟域设计、验证

never_lazy

1、场景
一个SOC系统，如果有2个时钟源，分别经过时钟门控、时钟分频后给到各模块，作为他们的时钟输入。系统工作时会涉及到跨时钟域的切换，需做一些时钟同步处理！
2、目前我的方法
方法1：Review同步处理机制的RTL代码、结合LEDA或nAnalysis工具分析；
方法2：结合Synopsis提供的DesignWare IP解决方法，将设计验证结合为一体综合考虑，详见《跨时钟域信号同步解决方案》。
以上两种方法，都不是特别好。
3、问题
对这种场景的跨时钟域设计、验证，大家有什么高见？希望能提高验证效率，同时确保设计、验证质量。