互動實驗

啟動與 CDC 時序

本頁用共用教學時間線的 step 排列事件，不比較 clk_sys 與 clk_dbg 的週期編號。Check_done 在 step 2 出現；來源已可用、目的域已觀察到，以及接受決策分開呈現。此模型不模擬同步器延遲或 metastability。

控制項

本案例在教學 step 2 產生 check_done 目前教學 step 的目的域已觀察到同步後的 check_donepermission 的教學事件 step（不是時鐘週期編號）

教學抽象模型；不是 RTL、CDC 證明、STA、reset tree、類比或晶片證據。

靜態對照無 JavaScript 工作表使用共用教學事件順序，不是跨域的時鐘週期編號。Step 1 的 permission 早於 step 2 的 check_done；此時來源尚不可用，弱政策會提早接受。Step 2 的來源已可用，但目的域未觀察到同步後的狀態時仍應阻擋。來源已可用且目的域已觀察到，才符合此模型的接受前提。相同 step 的案例不代表實際同步延遲或 CDC 安全證明。