表示有总共有.pdfVIP

1. (a) True n variables 表示有總共有2n 個vertices 。 1 個literal 的cube 包含2n-1 個vertices ； 2 個literals 的cube 包含2n-2 個vertices ； 3 個literals 的cube 包含2n-3 個vertices ； …… …… …… k 個literals 的cube 包含2n-k 個vertices 。 (b) True BDD 在給定order 的情形下作reduce ，得到的representation 為唯一。 (似乎有很多同學沒把整句的意思看清楚，unique 是在修飾ordered reduced BDD representation ，意思是在問ordered 且reduced 的BDD representation 是否為 unique…) (c) False 5 個input ，表示有25 種input combination 。每種input combination 的output 可以 是0 或 1 ，故有2種可能的functions 。 (d) False 若cover 中包含可以化簡合併的列，即cover 不為prime ，則即使未化簡前的cover 不為unate ，其代表的function 仍可能為unate 。舉例來說： X Y Z 2 0 1……(1) 2 1 1……(2) 此cover 雖然因為Y 行同時出現0 和 1 ，不為unate ，但實際上可以把(1) 、(2)兩 列合併化簡，使cover 變為： X Y Z 2 2 1 此時cover 為unate ，亦代表此cover 所代表的function 為unate function 。 (e) False PLA 因為two-level 的特性，結構簡單且運算快速，delay 也較容易預估，故適合 用於timing critical 的control logic 。 2. (a) 以f 來說，要測試這個fault ，t 或t 必須有一個要被選到，即(t + t ) = 1 。對於 1 1 3 1 3 所有要被測試的faults ，可以用同樣的方式列出類似的式子。每個式子要同時成 立，故所有式子要and 起來，如下面所示： (t + t ) (t + t + t ) (t + t + t ) (t + t + t ) (t + t ) (t + t ) (t + t ) (t + t ) = 1 1 3 2 3 5 1 4 6 2 3 6 1 4 2 5 3 6 4 5 我們要選出一組tests ，以cover 到所有的faults ，故此問題為一covering 的問題。 又對於每個test ，若被選取，只可能使某些fault 從不被cover 變成被cover 到， 而不會使任何已經被cover 到的fault 移出cover ，故為unate 。(意即上面的式子 中，只有t 項出現，沒有t ’項出現) x x (b) t1 t2 t3 t4 t5 t6 f 1 1 0 1 0 0 0 f 2 0 1 1 0 1 0 f 3 1 0 0 1 0 1 f 4 0 1 1 0 0 1 f 5 1 0 0 1 0 0 f 6 0 1 0 0 1 0 f 7 0 0 1 0 0 1 f 8 0 0 0 1 1 0 先檢查有沒有essential 的row(即整個row 只有一個1)