Review
- 組合電路設計
- 建構真值表將輸出表示成輸入的函式
- 用 K-map, Q-M method 等方法得到簡化的布林表達式
- 多層、多輸出的電路(Multi-level & Multi-outputs)
- Mininum SOP 起點
- Minimum two-level
- Minimum POS 起點
- Minimum two-level
限制 fan-in 數的電路設計
- Ex1
- 從 POS 開始


- Ex2 Multiple-Output
閘延遲與時序圖
- 邏輯閘必然存在延遲,固然小,但存在。

- 組合電路

- 延遲亦可能來自電線,電線愈長則延遲可能愈久。
Control value
- 的 control value 是
- 的 control value 是


- 若 X 訊號相反時, Z 要到 5ns 訊號才有意義。
組合邏輯中的 Hazards
- Hazard 是在切換輸入時,因閘延遲而產生的錯誤訊號。
- 種類

- 若相鄰兩個 1 不來自同一個邏輯閘(在 K-map 上沒有被框在一起)則會存在 hazard。
-
- 可將相鄰的所有蘊函項框在一起,避免「一個bit切換」的 hazard 發生。

邏輯電路的模擬與測試
- 對模擬邏輯電路來說
- 有明確的電路元素與連線
- 決定輸入
- 觀察輸出
輸入值
- 有四種,分別為:
- 0 (low)
- 1 (high)
- X (unknown)
- Z (don’t care, High impedence)

- \text{AND } \\& \text{ OR } \text{function for 4-value simulation}
驗證(verification)與測試(testing)
- 邏輯電路的輸出錯誤,可以由下面兩種方式偵錯:
- 驗證(Verification)
- 錯誤的電路設計
- 邏輯閘接線錯誤
- 輸入訊號錯誤
- 測試(Testing)
- 邏輯閘缺陷
- 金屬接線缺陷
- 驗證(Verification)
- 已知


