Constraining Async Clock Domain Crossing
我们在normal STA中只会去check 同步clock之间的timing，但是design中往往会存在很多CDC paths，这些paths需要被正确约束才能保证design function正确，那么怎么去约束这些CDC paths呢？
以下面的design为例，如下图所示
这里clka和clkb是异步关系，上图中的绿色虚线部分为clkb的internal path，属于同步path，而红色部分则属于CDC Path，怎么去约束这个path呢？
Create CDC clock
首先，我们创建normal func clock如下：
然后声明他们为async关系，如下：
这时我们去report timing，结果如下
