10 / 36 · 概念

輸入變化與取樣時刻

追蹤時脈邊緣前後的 y 與 sampled_y。

學習目標

a=0,b=1,sel=0 已取樣後，若 sel 在邊緣間變為 1，y 變 1，但 sampled_y 保持 0；下個上升緣後兩者皆為 1。這是 0/1 RTL 的選擇與儲存預測，不是實體傳播延遲量測。

時刻	sel	y	sampled_y
先前邊緣後	0	0	0
邊緣之間	1	1	0
下一上升緣後	1	1	1

先找 sel 變化與選取輸入，再看 y，最後比較下一上升緣後的 sampled_y。只有最終值相同無法證明中間行為正確。練習時在邊緣間改變輸入，避免同時事件順序造成歧義。

sel 在兩上升緣間 0→1→0，sampled_y 必定擷取中間的 1 嗎？

查看解說

不會。只在上升緣儲存；若中間變化在邊緣前消失，可能出現在 y，但不會被 sampled_y 留住。