有限狀態(tài)機的雙邏輯綜合.pdf

1、數(shù)字邏輯電路可以分為組合邏輯電路和時序邏輯電路。而對時序邏輯電路的研究一般以有限狀態(tài)機（Finite State Machine，F(xiàn)SM）為模型，并且如何實現(xiàn)電路面積減少一直是FSM優(yōu)化的一個重要目標。在FSM面積優(yōu)化中，一旦狀態(tài)編碼長度確定后，寄存器的數(shù)量也就確定了，因此FSM的面積主要取決于它內部組合電路的面積。本文在分析了現(xiàn)有的有限狀態(tài)機面積優(yōu)化方法的基礎上，提出了基于雙邏輯綜合的狀態(tài)分配的面積優(yōu)化方法，狀態(tài)分配通過遺傳算法(GA

2、)實現(xiàn)。此外，本文也對雙邏輯綜合下的FSM組合電路的功耗優(yōu)化進行了討論。
　　在基于雙邏輯綜合的FSM電路面積優(yōu)化方面，本文利用多數(shù)覆蓋及引入乘機項之間的位操作，來構造出衡量FSM組合電路面積的成本函數(shù)，指導遺傳算法來完成適合雙邏輯綜合的FSM的狀態(tài)分配。提出的算法用C編程實現(xiàn)，并用MCNC標準電路進行了測試。實驗結果表明，相比于單一的布爾邏輯，采用雙邏輯綜合后，可使多數(shù) FSM測試電路面積得到進一步優(yōu)化。
　　在基于雙邏輯