第一個問題是 ledia 和周奕志問的: 若是 flow table 裡兩個 don't care 設成
第二行 01 時為 1, 第一行 11 時為 0, 會不會出現 Y=y 這個錯誤的式子?
答案是不會, 原因如下:
請參考今天講解的投影片. 我們化簡出來的 Flow Table 是這樣的:
00 01 11 10
a A,0 A,0 b,- A,0
b B,1 a,- B,1 B,1
其中大寫字姆表是穩定態, 小寫表示不穩定態.
所以令 a=0, b=1, 會得到後來的 Karnaugh map, 也就是 Y=DG+G'y (這是會有 hazard
的線路) 因此 state 的線路無論如何都是這樣.
至於 output, 如果我們把第二行的 don't care 設成 0, 第一行的 don't care 設成 1
則結果是 output=Y=DG+G'y, 沒有問題. 但是 state 卻不會出現 Y=y 的情形.
第二個問題應該是先廷和寶宣問的: 在 merger diagram 中, 某個 state 可以在
兩組 compatible pair 中共用嗎? 我查了一下書, 在 Roth 的書中沒有講, 但是
他舉的例子都沒有共用. 另一方面, Mano 的書中是說可以共用, 但是他並沒有講
在共用之後原本的 flow table 中要跳到那個共用的 state 時在 reduced flow table
中倒底要如何處理. 而我的經驗裡我是沒有試過讓他們共用. 如果有興趣的同學
不妨再去找找看這方面的書或論文, 應該會有人有討論過. 但是我手邊的資料裡
找不到. 我想這應該不是 Mano 的筆誤, 因為我手邊 Mano 的書是第二版, 如果
是出錯應該第一版的就有人寫信去罵過, 第二版時應該改正了.
--
數位邏輯實驗室助教 王敬毅
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.4.96