大規(guī)模集成電路分析與設(shè)計(jì)的核心問(wèn)題之一是邏輯電路的優(yōu)化。時(shí)序邏輯電路優(yōu)化的任務(wù)之一是狀態(tài)化簡(jiǎn),即在保證電路設(shè)計(jì)要求的前提下,找到時(shí)序邏輯系統(tǒng)中具有相同邏輯關(guān)系的狀態(tài)集合,通過(guò)狀態(tài)的合并達(dá)到簡(jiǎn)化邏輯電路的目的。隨著邏輯電路設(shè)計(jì)越來(lái)越復(fù)雜,時(shí)序邏輯電路的狀態(tài)化簡(jiǎn)帶來(lái)很大的挑戰(zhàn)。粒計(jì)算作為一種能夠處理海量數(shù)據(jù)和不確定信息的人工智能方法,近年來(lái)受到了廣泛關(guān)注。本文嘗試將粒計(jì)算理論與時(shí)序邏輯電路狀態(tài)化簡(jiǎn)進(jìn)行有效的結(jié)合。對(duì)于完全確定時(shí)序邏輯電路狀態(tài)化簡(jiǎn),首先定義了輸出矩陣和次態(tài)矩陣,進(jìn)而定義了初態(tài)標(biāo)記矩陣和標(biāo)記次態(tài)矩陣融合而成的系統(tǒng)矩陣,該系統(tǒng)矩陣能完整的反映電路系統(tǒng)的輸出和次態(tài)情況�；诹Ｓ�(jì)算中的等價(jià)關(guān)系模型,最終完成完全確定時(shí)序邏輯電路的狀態(tài)化簡(jiǎn)。該算法過(guò)程避免了矩陣的相乘運(yùn)算和等價(jià)類之間的求交運(yùn)算,化簡(jiǎn)效率大大提高。對(duì)于非完全確定時(shí)序邏輯電路狀態(tài)化簡(jiǎn),首先對(duì)狀態(tài)粒進(jìn)行標(biāo)記,基于粒計(jì)算中的相容關(guān)系模型得到最大相容類集合;然后基于“核”相容類構(gòu)建初始狀態(tài)樹(shù),得到所有的最小覆蓋;最后構(gòu)建最小狀態(tài)樹(shù)驗(yàn)證最小覆蓋的閉合性,若所有最小覆蓋都不閉合,則能通過(guò)最小覆蓋樹(shù)有針對(duì)性的得到最優(yōu)結(jié)果。最后,設(shè)計(jì)了一... 

【文章頁(yè)數(shù)】：99 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 課題研究的背景和意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀分析
        1.2.1 完全確定時(shí)序電路狀態(tài)化簡(jiǎn)問(wèn)題研究現(xiàn)狀分析
        1.2.2 非完全確定時(shí)序電路狀態(tài)化簡(jiǎn)問(wèn)題研究現(xiàn)狀分析
        1.2.3 粒計(jì)算研究現(xiàn)狀分析
    1.3 論文的主要內(nèi)容和結(jié)構(gòu)安排
        1.3.1 論文主要內(nèi)容
        1.3.2 論文結(jié)構(gòu)安排
第二章 粒計(jì)算理論基礎(chǔ)
    2.1 粒計(jì)算組成
    2.2 粒計(jì)算基本問(wèn)題
    2.3 粒計(jì)算與時(shí)序電路狀態(tài)化簡(jiǎn)
        2.3.1 等價(jià)關(guān)系基礎(chǔ)知識(shí)
        2.3.2 相容關(guān)系基礎(chǔ)知識(shí)
    2.4 本章小結(jié)
第三章 基于等價(jià)關(guān)系的完全確定時(shí)序電路狀態(tài)化簡(jiǎn)快速算法
    3.1 基本概念
    3.2 幾種傳統(tǒng)的狀態(tài)化簡(jiǎn)方法
        3.2.1 觀察法
        3.2.2 隱含表法
        3.2.3 逐次劃分法
        3.2.4 小結(jié)
    3.3 狀態(tài)化簡(jiǎn)并行算法
        3.3.1 算法描述
        3.3.2 實(shí)例分析
        3.3.3 小結(jié)
    3.4 基于粒計(jì)算的狀態(tài)化簡(jiǎn)算法
        3.4.1 算法描述
        3.4.2 實(shí)例分析
        3.4.3 小結(jié)
    3.5 基于等價(jià)關(guān)系的狀態(tài)化簡(jiǎn)快速算法
        3.5.1 算法描述
        3.5.2 實(shí)例分析
        3.5.3 算法分析
    3.6 本章小結(jié)
第四章 基于相容關(guān)系的非完全確定時(shí)序電路狀態(tài)化簡(jiǎn)快速算法
    4.1 基本概念
    4.2 傳統(tǒng)的非完全確定時(shí)序邏輯電路狀態(tài)化簡(jiǎn)算法
    4.3 基于相容關(guān)系的非完全確定時(shí)序電路狀態(tài)化簡(jiǎn)快速算法
        4.3.1 算法步驟
        4.3.2 實(shí)例分析
        4.3.3 算法分析
    4.4 本章小結(jié)
第五章 基于粒計(jì)算的時(shí)序邏輯電路優(yōu)化系統(tǒng)設(shè)計(jì)
    5.1 系統(tǒng)設(shè)計(jì)總體目標(biāo)
    5.2 系統(tǒng)開(kāi)發(fā)環(huán)境
    5.3 系統(tǒng)設(shè)計(jì)與具體實(shí)現(xiàn)
        5.3.1 系統(tǒng)平臺(tái)總體結(jié)構(gòu)
        5.3.2 系統(tǒng)詳細(xì)設(shè)計(jì)實(shí)現(xiàn)
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 論文總結(jié)
    6.2 研究展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻(xiàn)】：
期刊論文
[1]基于粒計(jì)算的完全確定時(shí)序邏輯電路狀態(tài)化簡(jiǎn)算法[J]. 張凱英,張?jiān)?陳澤華.  小型微型計(jì)算機(jī)系統(tǒng). 2016(08)
[2]基于粒計(jì)算的最簡(jiǎn)決策規(guī)則挖掘算法[J]. 陳澤華,張?jiān)?謝剛.  控制與決策. 2015(01)
[3]粒視角下彩色圖像分割方法[J]. 謝巍,鄧廷權(quán),董天禎,戴家樹(shù).  哈爾濱工業(yè)大學(xué)學(xué)報(bào). 2013(03)
[4]基于最大粒的規(guī)則獲取算法[J]. 張清華,王國(guó)胤,劉顯全.  模式識(shí)別與人工智能. 2012(03)
[5]粒計(jì)算研究現(xiàn)狀及展望[J]. 謝剛,劉靜.  軟件. 2011(03)
[6]粒計(jì)算未來(lái)發(fā)展方向探討[J]. 張鈸,張鈴.  重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版). 2010(05)
[7]同步時(shí)序電路設(shè)計(jì)中狀態(tài)化簡(jiǎn)方法探討[J]. 趙賀,孫鳳茹.  自動(dòng)化與儀器儀表. 2010(05)
[8]基于粗糙集的啟發(fā)式值約簡(jiǎn)的改進(jìn)算法[J]. 張利,盧秀穎,吳華玉,郝勝智.  儀器儀表學(xué)報(bào). 2009(01)
[9]基于分辨矩陣和屬性重要度的規(guī)則提取算法[J]. 饒泓,夏葉娟,李?yuàn)弥?  計(jì)算機(jī)工程與應(yīng)用. 2008(23)
[10]等價(jià)關(guān)系與劃分[J]. 蔣強(qiáng)榮.  北京工業(yè)大學(xué)學(xué)報(bào). 2008(07)



本文編號(hào)：3723903