【正文】 A B C D E C， 0 ， D， 0 C， 0 B， 0 ， E， 0 B， 1 A， 1 ， A， 0 B， 0 ， E， 0 A， 0 ， D， 1 ， ， E， 1 ① 作隱含表 B C D E A B C D √ CD AE CB AB DE AB DB CB AE ? 歸納相容狀態(tài)對(duì)： {A， B} {A， C} {D， C} 2022 華東師范大學(xué)計(jì)算機(jī)系 37 例 2）化簡(jiǎn)狀態(tài)表 ② 作狀態(tài)合并圖 {A， B} {A， C} {D， C} A B C D E ∴ 最大相容類： {A， B} {D， C} {E} S0 S1 S2 2022 華東師范大學(xué)計(jì)算機(jī)系 38 例 2） 現(xiàn)態(tài) 次態(tài) / 輸出 00 01 10 11 A B C D E C， 0 ， D， 0 C， 0 B， 0 ， E， 0 B， 1 A， 1 ， A， 0 B， 0 ， E， 0 A， 0 ， D， 1 ， ， E， 1 ③ 作最小化狀態(tài)表 {A， B} {D， C} {E} S0 S1 S2 現(xiàn)態(tài) 次態(tài) / 輸出 00 01 10 11 S0 S1 S2 S1， 0 S1， 0 S0， 0 S2， 0 S0， 1 ， S0， 0 S2， 0 S0， 0 S1， 1 ， S2， 1 2022 華東師范大學(xué)計(jì)算機(jī)系 39 二、化簡(jiǎn)舉例 例 73）化簡(jiǎn)狀態(tài)表 現(xiàn)態(tài) 次態(tài) / 輸出 00 01 10 11 A B C D E F G ， A， 0 E， 0 ， C， 0 D， 1 E， 1 D， 0 C， 0 A， 0 ， ， B， 0 ， F， 0 ， E， 0 C， 0 ， ， A， 0 C， 1 D， 1 ， G， 1 F， 1 E， 1 C， 1 ① 作隱含表 B C D E F G A B C D E F CD AD EF CF CG CF BD CE AF AE AC DG AC DF ? 相容狀態(tài)對(duì)： {A,B}{C,D}{C,E}{D,E}{G,F} CE CE GF GE AC CG DE CE 2022 華東師范大學(xué)計(jì)算機(jī)系 40 例 73）化簡(jiǎn)狀態(tài)表 ② 作狀態(tài)合并圖 {A,B} {C,D} {C,E} {D,E} {G,F} ∴ 最大相容類： {A,B}{C,E,D}{F,G} S0 S1 S2 A B C D E F G ③ 作最小化狀態(tài)表 （表 719） 2022 華東師范大學(xué)計(jì)算機(jī)系 41 二、化簡(jiǎn)舉例 例 3）化簡(jiǎn)狀態(tài)表 現(xiàn)態(tài) 次態(tài) 輸出 X=0 X=1 Z A B C D E F B B A F D D E E C 0 1 1 1 ① 作隱含表 B C D E F A B C D E √ CD AB DE DE ? 相容狀態(tài)對(duì)： {A,B}{A,F}{B,C}{B,D}{B,E} {B,F}{C,D}{C,E}{C,F}{D,E}{D,F}{E,F} CE AF CE BF CD √ √ √ 2022 華東師范大學(xué)計(jì)算機(jī)系 42 例 73）化簡(jiǎn)狀態(tài)表 ② 作狀態(tài)合并圖 {A,B} {A,F} {B,C} {B,D} {B,E} {B,F} {C,D} {C,E} {C,F} {D,E} {D,F} {E,F} ∴ 最大相容類： {B,C,D,E,F}{A,B,F} a b A B C D E F 2022 華東師范大學(xué)計(jì)算機(jī)系 43 例 73）化簡(jiǎn)狀態(tài)表 現(xiàn)態(tài) 次態(tài) 輸出 X=0 X=1 Z A B C D E F B B A F D D E E C 0 1 1 1 ③ 作最小化狀態(tài)表 {A,B,F} {B,C,D,E,F} a b 現(xiàn)態(tài) 次態(tài) 輸出 X=0 X=1 Z a b a b b 0 1 2022 華東師范大學(xué)計(jì)算機(jī)系 44 167。 2022 華東師范大學(xué)計(jì)算機(jī)系 32 一、狀態(tài)相容 ? 相容條件： （不確定狀態(tài)可任意指定） ① 輸出相同 ② 次態(tài)滿足下列條件之一： 狀態(tài)化簡(jiǎn) 167。 逐個(gè)比較，除去不等價(jià)狀態(tài)對(duì) 狀態(tài)等價(jià)，打“ √” 狀態(tài)等價(jià) 167。 狀態(tài)等價(jià) 2． 等價(jià)性質(zhì)： ① 對(duì)稱性：若 S1=S2， 則 S2=S1 ② 自反性：對(duì)任何狀態(tài) ， S1=S1 ③ 傳遞性：若 S1=S2， 且 S2=S3， 則 S1=S3 2022 華東師范大學(xué)計(jì)算機(jī)系 16 167。 2022 華東師范大學(xué)計(jì)算機(jī)系 14 1．狀態(tài)等價(jià)定理 ? 等價(jià)條件： ① 輸出相同 ② 次態(tài)等價(jià)（滿足下列條件之一）： 7 時(shí)序電路設(shè)計(jì) 167。 不完全定義狀態(tài)表的狀態(tài)化簡(jiǎn) 167。 復(fù)雜時(shí)序電路的設(shè)計(jì) 2022 華東師范大學(xué)計(jì)算機(jī)系 10 167。2022 華東師范大學(xué)計(jì)算機(jī)系 1 ? 倒數(shù)行 6： C211=（ S2， S3） C211=（ S1， S3） 本章錯(cuò)誤 ▼ P286 ? 倒數(shù)行 8： C111=（ S0， S1） C111=（ S0， S2） 2022 華東師范大學(xué)計(jì)算機(jī)系 2 本章錯(cuò)誤 ▼ P294 ? 表 719 10列： S2/1 S2/0 S1/1 S1/0 S0/0 S0/0 2022 華東師范大學(xué)計(jì)算機(jī)系 3 本章錯(cuò)誤 ▼ P295 ? 行 3： F2F1’X F2F1’ ? 表 721， X=1 D1列： 1/0 1/0 0/0 0/0 1/0 1/0 0/1 1/0 2022 華東師范大學(xué)計(jì)算機(jī)系 4 本章錯(cuò)誤 ▼ P297 ? 表 723 行 5： D B/0 E/1 D B/0 E/0 ▼ P306 ? 行 行 倒數(shù)行 3： 1000 2022 華東師范大學(xué)計(jì)算機(jī)系 5 本章錯(cuò)誤 ▼ P311 ? 行 15： =(F3F2) =(F3F2’)’ ? 圖 7 47 a)改為： 00 01 11 10 0 0 1 1 d d 00 01 11 10 0 1 1 d d ? 圖 7 47 b)改為： 2022 華東師范大學(xué)計(jì)算機(jī)系 6 本章錯(cuò)誤 ▼ P318 ? 右矩形 1： CTLN’ CTCN’ ? 右菱形 3： TCHR TCRH ▼ P325 ? 倒數(shù)行 7： U6B(LS112)=22ns U6B(LS112)=20ns 2022 華東師范大學(xué)計(jì)算機(jī)系 7 ▽ 同步時(shí)序電路的設(shè)計(jì)： （ 1）根據(jù)需求 狀態(tài)圖、狀態(tài)表 （ 2）狀態(tài)分配 狀態(tài)轉(zhuǎn)移表 （ 3）狀態(tài)轉(zhuǎn)移表 激勵(lì)表 觸發(fā)器特征表 （ 4）卡諾圖化簡(jiǎn) 激勵(lì)函數(shù)表達(dá)式 輸出函數(shù)表達(dá)式 （ 5）電路實(shí)現(xiàn) 2022 華東師范大學(xué)計(jì)算機(jī)系 8 同步時(shí)序電路設(shè)計(jì)的進(jìn)一步優(yōu)化： （ 1）根據(jù)需求 狀態(tài)圖、狀態(tài)表 （ 2） 狀態(tài)化簡(jiǎn) 最小化狀態(tài)表 （ 3） 狀態(tài)分配 得狀態(tài)轉(zhuǎn)移表 （ 4）狀態(tài)轉(zhuǎn)移表 激勵(lì)表 觸發(fā)器特征表 （ 5）卡諾圖化簡(jiǎn) 激勵(lì)函數(shù)表達(dá)式 輸出函數(shù)表達(dá)式 （ 6）電路實(shí)現(xiàn) 2022 華東師范大學(xué)計(jì)算機(jī)系 9 167。 狀態(tài)分配 狀態(tài)化簡(jiǎn) 167。 鏈接時(shí)序機(jī) 2022 華東師范大學(xué)計(jì)算機(jī)系 11 167。 狀態(tài)等價(jià) 1．狀態(tài)等價(jià)定理 ? S1與 S2等價(jià)： 當(dāng)且僅當(dāng)兩狀態(tài)每種可能的輸入序 列其輸出相等且次態(tài)等價(jià)，則稱： S1與 S2等價(jià)，記作（ S S2）。 次態(tài)循環(huán)： S1和 S2的次態(tài)為 S3和 S4 S3和 S4的次態(tài)為 S1和 S2 2022 華東師范大學(xué)計(jì)算機(jī)系 15 167。 7 時(shí)序電路設(shè)計(jì) 167。 狀態(tài)化簡(jiǎn) 二 、 隱含表化簡(jiǎn)法 —— 提供一種識(shí)別冗余狀態(tài)的圖形 化方法 隱含表：圖 71 每個(gè)方格代表一對(duì)隱含的等價(jià) 可能性 2022 華東師范大學(xué)計(jì)算機(jī)系 20 二、隱含表化簡(jiǎn)法 1． 化簡(jiǎn)步驟： ① 作隱含表 ， 尋找等價(jià)對(duì) ② 根據(jù)等價(jià)性質(zhì) ， 構(gòu)成最大等價(jià)類 ③ 將最大等價(jià)類中的狀態(tài)合并 ， 得到 最小化狀態(tài)表 2022 華東師范大學(xué)計(jì)算機(jī)系 21 二、隱含表化簡(jiǎn)法 2． 化簡(jiǎn)舉例 例 71） 化簡(jiǎn) P288 圖 74狀態(tài)圖 ② 作隱含表 ③ 填隱含表（圖