1. 項目概述從“會算”到“會變”的思維躍遷剛接觸數(shù)字電路的朋友可能都有過這樣的經(jīng)歷面對一個邏輯函數(shù)表達式感覺每個字母和符號都認識但組合在一起就像一團亂麻不知道從何下手。課本上告訴你邏輯函數(shù)可以化簡可以變換但為什么要這么做以及更重要的是怎么才能又快又準地做到這正是“邏輯函數(shù)的變換與化簡”這個核心課題要解決的問題。它絕不僅僅是書本上的幾道習題而是貫穿整個數(shù)字系統(tǒng)設計、從理論到實踐、從芯片內(nèi)部到電路板上的基本功。簡單來說邏輯函數(shù)的變換與化簡目標就是用更少的邏輯門、更簡單的連線實現(xiàn)完全相同的邏輯功能。這直接關(guān)系到你設計的電路成本是高是低、運行速度是快是慢、可靠性是好是壞。一個未經(jīng)化簡的復雜表達式可能需要十幾個與非門來實現(xiàn)而經(jīng)過巧妙化簡后可能三四個門就搞定了。在動輒集成上億個晶體管的芯片里這種“化簡”思維帶來的面積和功耗優(yōu)化是天文數(shù)字級別的。所以無論你是正在備考的學生還是初入行的硬件工程師或是嵌入式開發(fā)中需要理解底層硬件的程序員掌握這套方法都至關(guān)重要。它就像木匠手中的刨子和鑿子是把你腦中抽象的邏輯構(gòu)思打磨成高效、優(yōu)雅的物理實現(xiàn)的關(guān)鍵工具。接下來我將結(jié)合自己多年學習和項目中的踩坑經(jīng)驗帶你徹底吃透邏輯函數(shù)的變換與化簡重點聚焦兩個核心武器公式法的嚴謹推導與卡諾圖的直觀洞察。2. 邏輯函數(shù)化簡的核心價值與底層邏輯在深入具體方法之前我們必須先搞清楚我們費這么大勁化簡到底圖什么這背后的驅(qū)動力源于數(shù)字電路設計的三個核心約束成本、速度和可靠性。2.1 化簡如何直接轉(zhuǎn)化為“真金白銀”成本是最直觀的驅(qū)動力。在數(shù)字電路中最基本的成本單元是邏輯門與門、或門、非門等和它們之間的連線。每一個門都需要硅片面積都需要功耗。一個未經(jīng)化簡的邏輯函數(shù)例如F ABC ABC ABC ABC如果用與-或表達式直接實現(xiàn)需要4個三輸入與門和1個四輸入或門。但如果我們化簡后得到F A⊕B⊕C異或只需要2個兩輸入異或門異或門可由基本門構(gòu)成但整體上更簡潔。門數(shù)量的減少直接意味著芯片面積的縮小、生產(chǎn)成本的降低以及功耗的下降。在大規(guī)模集成電路中這種優(yōu)化是成指數(shù)級放大的。2.2 性能提升從關(guān)鍵路徑看化簡的威力速度是另一個關(guān)鍵指標。數(shù)字電路的延遲主要取決于信號從輸入到輸出所經(jīng)過的邏輯門級數(shù)即關(guān)鍵路徑。一個復雜的、未化簡的表達式可能導致信號需要串行通過多個邏輯門累積的延遲就會很大?；喓蟮谋磉_式往往意味著更少的邏輯級數(shù)。例如一個需要先經(jīng)過兩個與門再經(jīng)過一個或門的路徑如果化簡后能合并為一個更復雜的復合門如與或非門單級實現(xiàn)那么傳播延遲將顯著縮短電路的工作頻率就能提得更高。在高速CPU、內(nèi)存接口等場景下這幾十皮秒ps的優(yōu)化可能就是成敗的關(guān)鍵。2.3 可靠性化簡如何讓電路更“健壯”可靠性常常被初學者忽略。一個復雜的電路意味著更多的連接點、更多的晶體管。從概率上講元器件越多出故障的可能性就越高?；啘p少了元器件的數(shù)量也就直接降低了系統(tǒng)的失效率。此外復雜的布線容易引入串擾、反射等信號完整性問題簡潔的電路布局則更清晰抗干擾能力更強。在一些高可靠性的應用領(lǐng)域如航空航天、醫(yī)療電子電路的簡潔性本身就是可靠性的重要保障。注意化簡的終極目標并非追求“最簡”的數(shù)學形式而是尋找在特定工藝庫如某型號FPGA或ASIC庫約束下的“最優(yōu)”實現(xiàn)。有時數(shù)學上的最簡式由于庫中缺乏對應的復合門實際實現(xiàn)起來反而不如一個稍繁但由標準門高效構(gòu)成的電路。2.4 邏輯函數(shù)的標準形式化簡的起跑線要進行化簡我們首先要將邏輯函數(shù)置于一個標準的起跑線上。最常用的兩種標準形式是“最小項之和”與“最大項之積”。最小項之和Standard Sum of Products, SOP也稱為“積之和”形式。每個乘積項與項包含了所有輸入變量原變量或反變量。例如對于三變量A, B, C最小項有8個ABC(m0),ABC(m1), ...,ABC(m7)。任何一個邏輯函數(shù)都可以唯一地表示為若干個最小項之和。例如F(A,B,C) Σm(1,3,5,7)表示函數(shù)在最小項m1, m3, m5, m7處取值為1。SOP形式直接對應著由與門陣列后接一個或門的電路結(jié)構(gòu)PLA結(jié)構(gòu)非常直觀。最大項之積Standard Product of Sums, POS也稱為“和之積”形式。每個和項或項包含了所有輸入變量。同樣三變量最大項也有8個(ABC)(M0),(ABC)(M1), ...,(ABC)(M7)。函數(shù)也可以表示為最大項之積如F(A,B,C) ΠM(0,2,4,6)。POS形式對應著或門陣列后接一個與門的結(jié)構(gòu)。SOP和POS可以通過德摩根定律相互轉(zhuǎn)換選擇哪種作為起點有時取決于真值表中0少還是1少以便于化簡。理解這兩種形式是使用公式法和卡諾圖法的基礎(chǔ)。公式法擅長處理代數(shù)變形而卡諾圖則為我們提供了基于這兩種標準形式的圖形化化簡工具。3. 公式法化簡代數(shù)演算的嚴謹之美公式法也叫代數(shù)化簡法其核心是利用一系列基本的邏輯代數(shù)公式和定理對邏輯函數(shù)表達式進行等價變換直至無法再化。這種方法鍛煉的是你的邏輯思維和代數(shù)功底是理解化簡本質(zhì)的根本。3.1 必須爛熟于心的核心公式工具箱公式法不是漫無目的地嘗試而是有章可循的。以下這幾組公式是你必須內(nèi)化成本能的工具基本定律交換律、結(jié)合律、分配律和普通代數(shù)類似為變換提供基礎(chǔ)?；パa律A A 1,A · A 0。這是產(chǎn)生消去的關(guān)鍵。重疊律A A A,A · A A。用于合并相同項。0-1律A 0 A,A · 1 A,A 1 1,A · 0 0。關(guān)鍵定理吸收律A AB AA(AB) A。這是化簡中最常用、最有效的武器之一可以直接“吃掉”冗余項。消因律A AB A B。這個公式非常神奇它允許你在特定條件下消去一個變量。證明一下A AB (AA)(AB) 1·(AB) AB用了分配律的逆形式。并項律AB AB A。兩項中部分因子互補其余因子相同則可合并為相同的因子。添加項律冗余律AB AC BC AB AC。第三項BC是前兩項的“冗余項”可以去掉。這個公式在判斷化簡是否徹底時很有用。德摩根定律(AB) A B(AB) AB。這是進行邏輯形式變換與或、或與非等的橋梁尤其在將SOP轉(zhuǎn)換為只用與非門或只用或非門實現(xiàn)時至關(guān)重要。3.2 公式法化簡的實戰(zhàn)步驟與心法掌握了工具我們來看如何運用?；喭ǔＪ且粋€“先合并、再消去”的過程。步驟一化為標準或易于處理的形式。通常先展開成SOP形式積之和因為吸收、合并等操作在SOP下更直觀。步驟二尋找并應用吸收與合并。眼觀六路尋找能應用吸收律(AABA)和并項律(ABABA)的項。這是化簡的主力。步驟三嘗試添加冗余項進行反向化簡。這需要一些技巧和洞察力。有時直接化不下去可以嘗試反向思考利用冗余律AB AC AB AC BC先故意添加一個冗余項看看它能否與其他項結(jié)合產(chǎn)生更進一步的化簡。讓我們來看一個完整的例子化簡函數(shù)F AB AC AD ABCD。觀察表達式已經(jīng)是SOP形式。注意第一項是AB最后一項包含AB。局部合并目前沒有直接的ABAB或AAB形式。我們注意到AC和AD有公因子A可以嘗試對它們處理AC AD A(CD)。但這不是SOP了我們通常保持SOP以便繼續(xù)用公式法所以先保留原樣。嘗試添加項關(guān)鍵技巧看看能否利用AB AB?，F(xiàn)有AB但沒有AB我們有ABCD。我們可以利用公式X XY X Y但這里X是BA和ACD是它的系數(shù)這樣看有點亂。換個思路對AB和ABCD使用添加項律不直接。更系統(tǒng)的方法——配項為了創(chuàng)造合并機會可以重復寫入某一項因為AAA。觀察AB如果我們能配出一個ABCD或許能和ABCD合并ABCD可以從哪里來可以從AC和AD來嗎AC A(CC)...這樣配項會越來越復雜。換一個高效的思路直接對AB和AC、AD應用吸收律的擴展形式。實際上AB AC AD可以把A提出來A(B C D)。根據(jù)消因律A AB A B的推廣形式其實這里可以直接用吸收律的思想A(B C D)中只要BCD這個或項為真結(jié)果就由A決定。但這不是嚴格的公式法步驟。讓我們嚴格按公式法做F AB AC AD ABCD A(B C D) ABCD分配律提A 現(xiàn)在令X B C D 則F AX ABCD。 這個形式很像A AB嗎不像。因為X很復雜。仔細觀察最后一項ABCD。它和第一項AB有共同的B。我們可以對AB和ABCD操作嗎把AB寫成AB(CD (CD))這又會引入新變量。其實這里用公式法已經(jīng)有點繁瑣了。這個例子恰恰揭示了公式法的局限性對于變量多、項數(shù)多的函數(shù)尋找配項和合并的機會需要很高的技巧和運氣。這時圖形化的卡諾圖方法就顯示出其無與倫比的直觀優(yōu)勢。我們通過這個例子體會到公式法的思維過程即可它的答案通過卡諾圖可以輕松得到為F A BCD。你可以驗證一下。實操心得公式法更像“內(nèi)功”需要大量練習來培養(yǎng)對公式的敏感度。在實戰(zhàn)中對于四變量及以下的函數(shù)我強烈建議直接使用卡諾圖。公式法更適合在卡諾圖化簡后用于驗證結(jié)果或進行進一步的代數(shù)形式變換如轉(zhuǎn)換為全與非門結(jié)構(gòu)。4. 卡諾圖化簡圖形直覺的降維打擊如果說公式法是“劍宗”講究招式精巧那么卡諾圖就是“氣宗”一力降十會憑借直觀的圖形洞察力快速找到最優(yōu)解。它是化簡邏輯函數(shù)尤其是四變量及以下函數(shù)的首選神器。4.1 卡諾圖的構(gòu)建與編號奧秘卡諾圖實際上是真值表的圖形化排列但其排列順序至關(guān)重要必須遵循格雷碼順序。格雷碼的特點是相鄰兩個編碼之間只有一位不同。這個特性保證了在卡諾圖上幾何位置相鄰的小格所代表的最小項在邏輯上也是相鄰的即只有一個變量不同。二變量卡諾圖有4個格對應m0, m1, m2, m3。變量A和B通常A代表行B代表列。排列順序是00, 01, 11, 10注意不是10, 11。三變量卡諾圖有8個格。通常用兩行四列。行變量A00, 01, 11, 10列變量BC00, 01, 11, 10。四變量卡諾圖有16個格四行四列。行變量AB列變量CD均按格雷碼排列。關(guān)鍵理解卡諾圖的“相鄰”不僅是上下左右還包括首尾相鄰和對折相鄰。即最左列和最右列是相鄰的最上行和最下行也是相鄰的。你可以把它想象成一個卷起來的圓筒或者一個球面。這是卡諾圖能合并更多項的關(guān)鍵。4.2 圈圈的藝術(shù)合并最小項的核心規(guī)則在卡諾圖中填入函數(shù)值1或0或無關(guān)項X后化簡工作就變成了“畫圈圈”的游戲。目標是用最少的圈覆蓋所有標1的格子并且每個圈要盡可能大。合并規(guī)則圈的大小必須是2的冪次可以圈2個、4個、8個、16個……相鄰的“1”。圈越大越好圈住的格子越多消去的變量就越多。一個圈對應一個乘積項。圈住2個“1”可以消去1個變量。圈住4個“1”可以消去2個變量。圈住8個“1”可以消去3個變量。以此類推。每個圈必須是矩形或正方形考慮首尾相鄰后的形狀。每個“1”至少被一個圈覆蓋允許被多個圈覆蓋這對應公式法中的重復使用某一項AAA。圈的數(shù)量要盡可能少因為每個圈對應一個與門。如何寫化簡結(jié)果觀察圈中哪些變量發(fā)生了變化哪些變量是恒定的。發(fā)生變化的變量被消去恒定不變的變量原變量為1反變量為0保留下來構(gòu)成乘積項。4.3 實戰(zhàn)演練四變量卡諾圖化簡精講讓我們化簡函數(shù)F(A,B,C,D) Σm(0,2,3,5,7,8,10,11,13,15)。畫出四變量卡諾圖并填入“1”。行AB00, 01, 11, 10列CD00, 01, 11, 10。m0 (0000): AB00, CD00 - 左上角填1。m2 (0010): AB00, CD10 - 00行10列填1。m3 (0011): AB00, CD11 - 填1。m5 (0101): AB01, CD01 - 填1。m7 (0111): AB01, CD11 - 填1。m8 (1000): AB10, CD00 - 填1。m10 (1010): AB10, CD10 - 填1。m11 (1011): AB10, CD11 - 填1。m13 (1101): AB11, CD01 - 填1。m15 (1111): AB11, CD11 - 填1。開始畫圈尋找最大的圈觀察中間四個“1”m3, m7, m11, m15。它們構(gòu)成一個2x2的正方形嗎m3(0011), m7(0111), m11(1011), m15(1111)。它們的行AB分別是00,01,10,11——全了說明AB變化了列CD都是11恒定。所以這個圈消去了A和B保留CD因為C1,D1。得到一項CD。再找觀察四個角m0(0000), m2(0010), m8(1000), m10(1010)。它們也構(gòu)成一個“圈”嗎在卡諾圖上m0和m2相鄰左右m8和m10相鄰左右。m0和m8相鄰嗎是的首尾相鄰上下。m2和m10也首尾相鄰。所以這四個角在拓撲上是相鄰的可以圈起來。在這個圈里A和C變化了A有0有1C有0有1B和D恒定B0 D0。所以得到項BD。覆蓋剩余的“1”m5(0101)和m13(1101)還沒被覆蓋。它們上下相鄰嗎m5在AB01行m13在AB11行列都是CD01。它們相鄰AB只有一位不同。圈住這兩個A變化了B恒定1C恒定0D恒定1。所以得到項BCD。檢查m7(0111)已經(jīng)被第一個圈(CD)覆蓋了。所有“1”都被覆蓋完畢。寫出最簡與或式F CD BD BCD。注意事項畫圈時一定要優(yōu)先畫最大的圈即使它覆蓋的某些“1”已經(jīng)被其他小圈覆蓋過。因為大圈對應更簡單的項變量少。我們的目標是“圈最大”和“圈最少”在兩者沖突時優(yōu)先保證“圈最大”圈數(shù)量多一點可能也能接受但通常能找到兩者兼顧的方案。4.4 利用無關(guān)項Don‘t Care進行極致化簡在實際設計中某些輸入組合永遠不會出現(xiàn)或者當它們出現(xiàn)時輸出是0是1我們并不關(guān)心。這些最小項稱為無關(guān)項在卡諾圖中用“X”表示。無關(guān)項是化簡的“萬能牌”我們可以根據(jù)需要靈活地將它們當作“1”或者“0”以幫助畫出更大的圈。例子設計一個8421BCD碼的“四舍五入”電路。輸入是8421BCD碼ABCDA是最高位當輸入大于等于5時輸出F1否則F0。但8421BCD碼只使用0000到1001這十個組合1010到1111這六個組合是無效的作為無關(guān)項。真值表m0-m4: F0; m5-m9: F1; m10-m15: d (無關(guān)項)。畫卡諾圖填入0,1和X。畫圈如果不利用無關(guān)項圈住m5,m7,m9等比較麻煩。利用無關(guān)項后我們可以把m10,m11,m12,m13,m14,m15這些X根據(jù)需要當作1。可以畫一個很大的圈覆蓋m5,m7,m13,m15以及m12,m14等X這個圈可能對應A因為當A1時數(shù)字肯定8? 不完全是還要看其他位。更合理的畫法是圈住m5,m7,m13,m15,m12,m14,m8,m9... 實際上經(jīng)過優(yōu)化最簡結(jié)果往往是F A BD BC。這里的關(guān)鍵是通過把某些X當作1我們把原本分散的“1”連接成了更大的矩形塊從而消去了更多變量。處理無關(guān)項的心得不要一開始就把所有X都當成1。先圈必須覆蓋的、確定的“1”圈的時候觀察附近的X如果把這個X當作1能讓我畫的圈變得更大那就把它拉進來。如果某個X被所有圈都排除在外那就把它當0處理。這個過程有一定的試探性。5. 從理論到實現(xiàn)化簡結(jié)果的電路轉(zhuǎn)換與優(yōu)化化簡得到最簡與或式SOP或或與式POS并不是終點我們還需要將其轉(zhuǎn)換為實際可用的電路?，F(xiàn)代數(shù)字電路設計尤其是基于標準單元庫或FPGA的設計有特定的偏好。5.1 化為全“與非門”或全“或非門”電路在實際芯片制造中為了簡化生產(chǎn)工藝、提高成品率常常希望整個電路只使用同一種基本門電路。最常用的就是“全與非門”和“全或非門”實現(xiàn)因為這兩種門本身是完備的可以組合實現(xiàn)任何邏輯功能?；癁槿c非門電路對最簡與或式F AB CD求兩次反。應用一次德摩根定律F ((AB CD)) ((AB) · (CD))?？唇Y(jié)果最外層是一個與非門輸入是兩個內(nèi)部項(AB)和(CD)而這兩項各自又是一個與非門(AB)是A和B的與非(CD)是C和D的與非。因此F AB CD可以用三個兩輸入與非門實現(xiàn)前兩個分別實現(xiàn)(AB)和(CD)第三個將這兩個輸出作為輸入進行與非?；癁槿蚍情T電路 通常先通過反演規(guī)則或?qū)ε际降玫阶詈喕蚺c式POS然后對POS式兩次求反再用德摩根定律展開為或非-或非形式。例如若F (AB)(CD)則F [((AB)(CD))]這就是一個或非門輸入到另一個或非門。實操技巧在FPGA設計中綜合工具會自動完成這些轉(zhuǎn)換和優(yōu)化。但理解這個過程能幫助你在閱讀綜合報告、進行手動邏輯優(yōu)化或設計底層單元時更有章法。5.2 多輸出邏輯函數(shù)的化簡資源共享的藝術(shù)現(xiàn)實中我們經(jīng)常需要設計有多個輸出端的電路。例如一個編碼器有多個輸出位。如果對每個輸出函數(shù)單獨進行化簡然后簡單拼在一起往往不是最優(yōu)的因為不同輸出函數(shù)之間可能共享一些相同的子項。多輸出化簡的核心思想尋找多個輸出函數(shù)的公共乘積項。即使這個公共項對某個函數(shù)來說不是其最簡式必需的即單獨化簡該函數(shù)時不會出現(xiàn)此項但只要它能被多個函數(shù)共用且引入它不會過多增加其他函數(shù)的復雜度從整體門電路數(shù)量來看可能就是更優(yōu)的。方法分別列出每個輸出函數(shù)的卡諾圖或真值表。在畫圈時不僅要看單個圖還要跨圖觀察。尋找那些在多個卡諾圖的相同位置都為“1”的格子群。嘗試畫一個能覆蓋多個輸出函數(shù)中“1”的公共圈。這個圈產(chǎn)生的乘積項可以作為多個輸出函數(shù)的輸入。平衡利弊引入公共項后檢查是否導致某個單獨函數(shù)的圈變得復雜或增多。有時需要犧牲一點局部最優(yōu)換取全局最優(yōu)。這個過程比單輸出復雜得多常常需要反復嘗試和比較。在實際工程中EDA工具的多輸出優(yōu)化算法已經(jīng)非常強大但了解原理對于人工審查和關(guān)鍵路徑優(yōu)化仍有意義。5.3 軟件工具輔助與手工技能的平衡今天我們有像Logic Friday、Espresso算法在VHDL/Verilog綜合工具中集成等強大的工具可以瞬間完成復雜邏輯的化簡和優(yōu)化。那手工學習公式法和卡諾圖還有必要嗎絕對必要。工具是黑箱它給你結(jié)果但不會給你直覺和判斷力。手工練習的價值在于培養(yǎng)直覺面對一個邏輯問題你能快速預估其電路的復雜程度。調(diào)試與驗證當工具輸出一個看似奇怪的結(jié)果時你能用手工方法驗證其正確性或者理解工具為什么這么優(yōu)化。理解約束工具優(yōu)化是在特定約束面積、速度、功耗下進行的。手工經(jīng)驗能幫你設置合理的約束并理解報告。應對簡單需求在嵌入式開發(fā)、快速原型驗證時一個簡單的邏輯用卡諾圖手推可能比打開一套龐大的EDA軟件更快。我的建議是將卡諾圖訓練成你的條件反射對于五變量及以下的問題做到“眼中有圖心中無圖”快速心算化簡。對于更復雜的問題放心交給工具但你要能讀懂它的輸出。6. 常見問題、易錯點與排查技巧實錄即使理解了原理在實際操作中還是會踩坑。下面是我總結(jié)的一些典型問題和解決技巧。6.1 卡諾圖畫圈中的經(jīng)典錯誤錯誤類型錯誤示例正確做法原因分析圈的形狀不對試圖圈出“L”形或散點必須圈2^n個相鄰格組成的矩形只有矩形對應的乘積項才能用“與”邏輯表示L形無法合并變量。圈不夠大四個可合并的“1”被畫成兩個獨立的2格圈優(yōu)先畫一個4格圈圈越大消去的變量越多項越簡。大圈可能覆蓋已被小圈覆蓋的“1”這沒關(guān)系。遺漏冗余圈每個“1”只被一個圈覆蓋但有些圈很小允許“1”被多個圈覆蓋優(yōu)先畫大圈公式法中A A A在卡諾圖中對應一個“1”可以被重復使用。不利用這點可能導致結(jié)果不是最簡。忽略首尾相鄰最左列的“1”和最右列的“1”沒有圈在一起牢記卡諾圖是循環(huán)的左右、上下邊緣相鄰這是卡諾圖能合并更多項的關(guān)鍵特性忘記這點會錯過最簡解。處理無關(guān)項不當把所有無關(guān)項X都當作1根據(jù)需要決定X的取值X是工具目的是幫助畫更大的圈。只把那些能促成更大圈的X當作1否則當作0。6.2 公式法應用中的思維陷阱濫用分配律A BC (AB)(AC)這是對的但有時盲目展開反而會讓式子更復雜。公式法化簡的方向通常是“與項”變少、每個“與項”內(nèi)的變量變少。逆向使用分配律即因式分解有時是化簡但順向使用往往是化繁。忘記添加冗余項進行反向操作這是公式法的高級技巧。當你化不下去時想想AB AC BC AB AC。你可以故意加一個BC項如果它存在或能構(gòu)造看看它能否與其他項結(jié)合產(chǎn)生新的吸收或合并機會。對偶原理運用不熟練有時化簡或與式POS比較麻煩。可以先用對偶原理求出其對偶式的與或式SOP化簡對偶式后再求對偶就得到原函數(shù)的最簡或與式。6.3 從邏輯式到實際電路的轉(zhuǎn)換錯誤電平與邏輯的混淆最簡與或式用與非門實現(xiàn)時初學者常畫錯。牢記F ((AB)(CD))是一個三級的與非-與非結(jié)構(gòu)。第一級與非門的輸出是(AB)這是一個低電平有效的信號當AB全1時輸出0。第二級與非門將其作為輸入理解這個電平變化對分析電路時序和故障很重要。冒險與競爭現(xiàn)象化簡只保證了靜態(tài)邏輯功能正確但可能引入邏輯冒險。例如函數(shù)F A AB當A從1變0B1時理論上輸出F應恒為1。但如果兩個輸入信號A和A由于路徑延遲不同時變化可能在極短時間內(nèi)出現(xiàn)A0, A0的瞬間導致輸出出現(xiàn)一個毛刺glitch。這在同步電路中通常由時鐘沿采樣來規(guī)避但在異步電路或時鐘路徑中必須考慮。消除邏輯冒險的方法是在卡諾圖中增加冗余項冗余圈即使這個項對靜態(tài)邏輯是多余的但它能覆蓋所有相鄰“1”的變化路徑。這是化簡中“功能正確”與“動態(tài)可靠”的一個微妙權(quán)衡。6.4 調(diào)試技巧驗證化簡結(jié)果真值表法這是最可靠的方法。分別列出原函數(shù)和化簡后函數(shù)的真值表逐行對比必須完全一致。軟件仿真使用Logisim、Digital、甚至Verilog/VHDL寫個簡單的測試平臺用所有可能的輸入組合進行仿真對比輸出。特殊值代入法選取幾組有代表性的輸入特別是那些在化簡過程中被“消去”的變量發(fā)生變化的輸入手工計算驗證。例如化簡中如果合并了A0和A1的項那么就要驗證當A變化時輸出是否真的與A無關(guān)。邏輯函數(shù)的變換與化簡這項技能會隨著你處理的問題越復雜越能體會到它的價值。它不僅僅是考試的重點更是高效、可靠數(shù)字系統(tǒng)設計的基石。從看懂一個芯片的數(shù)據(jù)手冊中的邏輯圖到自己設計一個小型的狀態(tài)機或控制器這項基本功無處不在。多畫圖多練習多思考“為什么可以這樣合并”讓這種化繁為簡的思維成為你本能的一部分。