5-17一般同步時(shí)序電路的設(shè)計(jì)2-原始狀態(tài)轉(zhuǎn)移表的化簡(jiǎn)

第五章時(shí)序邏輯電路

5.7一般同步時(shí)序電路的設(shè)計(jì)

化簡(jiǎn)原始狀態(tài)轉(zhuǎn)移表主講人：黃麗亞S(t)N(t)/F1F2AB=00AB=01AB=10S0S0/00S1/00S2/00S1S1/00S2/00S3/10S2S2/00S3/10S4/11S3S0/00S1/00S2/00S4S0/00S1/00S2/0000/0000/00自動(dòng)售飲料機(jī)S2S0S101/0001/0001/1000/0010/11S310/10S400/0001/0010/0000/0001/0010/0010/00化簡(jiǎn)原始狀態(tài)轉(zhuǎn)移表

關(guān)鍵：尋找等價(jià)狀態(tài)。滿足以下兩條件：①在所有輸入條件下，兩狀態(tài)對(duì)應(yīng)輸出完全相同。②在所有輸入條件下，狀態(tài)轉(zhuǎn)移也完全相同。等價(jià)狀態(tài)可以合并為一個(gè)狀態(tài)。S0、S3和S4是等價(jià)狀態(tài)，可以合并成一個(gè)狀態(tài)原始狀態(tài)轉(zhuǎn)移圖00/0000/0010/00S2S0S101/0001/0001/1010/1000/0010/11簡(jiǎn)化后的狀態(tài)定義：S0:初始狀態(tài)或累計(jì)收到1.5元硬幣完成一次操作，等待新的投幣。S1:累計(jì)收到0.5元硬幣。S2:累計(jì)收到1元硬幣。原始狀態(tài)定義：S0:初始狀態(tài)。S1:累計(jì)收到五角0.5元硬幣。S2:累計(jì)收到1元硬幣。S3:累計(jì)收到1.5元硬幣。S4:累計(jì)收到2元硬幣。化簡(jiǎn)的狀態(tài)轉(zhuǎn)移圖00/0000/00AB/F1F2S2S0S101/0001/0001/1000/0010/11S310/10S400/0001/0010/0000/0001/0010/0010/00化簡(jiǎn)原始狀態(tài)表

S（t）N（t）Z（t）X=0X=1X=0X=1ABA00BBC00CDA00DBE00EDF01FBA00A和F是等價(jià)狀態(tài)，可以合并成一個(gè)狀態(tài)ABCDE0/01/00/01/00/01/00/01/00/00/0F1/11/0Mealy狀態(tài)X/Z檢測(cè)序列01011狀態(tài)轉(zhuǎn)移圖1/1等價(jià)狀態(tài)條件2的幾種特殊情況1、隱含等價(jià)。例如：S（t）N（t）Z（t）X=0X=1X=0X=1ABA00BBE00CDA00DBE00EDA01[B,D]等價(jià)則[A,C]等價(jià)，[BD]是[AC]的隱含等價(jià)條件。2、互為隱含等價(jià)條件S（t）N（t）Z（t）X=0X=1X=0X=1ABA00BBA00CDA00DBC00EDA01[BD]和[AC]互為隱含等價(jià)條件，則BD和AC分別等價(jià)。等價(jià)狀態(tài)條件2的幾種特殊情況3、次態(tài)交錯(cuò)。例如：S（t）N（t）Z（t）X=0X=1X=0X=1ABA00BDC00CDA00DBC00EDA01B和D的次態(tài)交錯(cuò)，則BD等價(jià)。等價(jià)狀態(tài)條件2的幾種特殊情況4、等價(jià)隱含條件出現(xiàn)循環(huán)。ADADBECFADCCBE