即使已進行STA與RTL模擬，仍需要以CDC驗證工具確認的理由，何者正確？

正確答案：C. STA會將非同步時脈間的路徑排除於分析之外，RTL模擬也不會重現亞穩態，因此找不到同步化的錯誤

非同步時脈之間的路徑無法以STA決定時序，因此通常會以時脈群組的指定等方式排除於分析之外。此外，在RTL模擬中正反器一律確定為0或1，因此即使沒有同步器，看起來也能正確運作。CDC驗證工具會檢查電路的結構，找出沒有同步器的路徑、同步器前方的組合電路、多位元的個別同步化、再匯聚等問題。時序的計算是STA的職責。