基于粒計算的時序邏輯電路狀態(tài)化簡算法研究.pdf

1、大規(guī)模集成電路的發(fā)展是計算機科學(xué)和電子科學(xué)的基石。數(shù)字集成電路是集成電路的重要組成部分，其理論基礎(chǔ)是數(shù)字邏輯電路。盡管目前普遍使用自動化軟件來設(shè)計電路，但理論上邏輯優(yōu)化始終是電路分析與設(shè)計中的關(guān)鍵點。集成電路規(guī)模越來越大，邏輯優(yōu)化將面臨更艱巨的優(yōu)化任務(wù)，這些變化將給數(shù)字邏輯電路的基礎(chǔ)理論研究帶來挑戰(zhàn)。
　　當(dāng)前人工智能理論和數(shù)據(jù)科學(xué)迅速發(fā)展，可嘗試將新的理論和方法應(yīng)用到數(shù)字邏輯電路的基礎(chǔ)理論研究中。粒計算是新興起的一個學(xué)科，是一種

2、智能計算方法，該理論模擬人類處理復(fù)雜不確定、大規(guī)模問題的思維方式，從不同層次、不同角度分析、了解、把握事物的本質(zhì)和內(nèi)涵，目前已引起了國內(nèi)外學(xué)者的廣泛關(guān)注。
　　時序邏輯電路是數(shù)字邏輯電路重要組成內(nèi)容，根據(jù)電路中是否含有不確定項，將時序邏輯電路分為完全確定時序邏輯電路和非完全確定時序邏輯電路。
　　本文主要研究了粒計算理論以及時序邏輯電路的狀態(tài)化簡問題，嘗試將粒計算理論應(yīng)用到時序邏輯電路狀態(tài)化簡中，論文主要工作如下: