針對以不同時脈運作的電路之間傳遞訊號的部分，用專用工具確認是否正確加入同步化電路的驗證，稱為什麼？

正確答案：B. CDC（跨時脈域，clock domain crossing）驗證

若在非同步的時脈之間直接傳遞訊號，就會發生正反器輸出無法確定為0或1的亞穩態（metastable），或資料遺漏。CDC驗證會從設計中自動找出這類傳遞的位置，確認兩級正反器或非同步FIFO等同步化電路是否正確加入。由於發生機率低且不易重現，可以偵測出一般模擬難以發現的缺陷。

• A. IR壓降分析是電源電壓降的分析。
• B. 正確。這是確認跨越時脈的訊號傳遞的驗證。
• C. DRC是檢查佈局圖形規則的檢查。