在過去的二十年中,異步電路由于與同步電路相比具有無時(shí)鐘偏差,易于集成,可靠性強(qiáng)等優(yōu)勢(shì),在微處理器,低功耗電路等領(lǐng)域表現(xiàn)出相當(dāng)?shù)臐摿ΑＨ欢?異步電路的固有并發(fā)性也使得它們難以驗(yàn)證。由于組件和線延遲的變化,電路執(zhí)行路徑的數(shù)量可能非常大。因此,必須確保所有可能執(zhí)行路徑中電路行為的正確性。本文采用基于狀態(tài)的模型檢測方法,根據(jù)電路中的狀態(tài)轉(zhuǎn)換關(guān)系,提出了交織模式下積累狀態(tài)向量的偏序關(guān)系模型,該模型能夠詳細(xì)地描述異步電路中狀態(tài)的變化,通過向量的相關(guān)運(yùn)算結(jié)果反映電路中狀態(tài)變化的特點(diǎn)。半模性是異步電路設(shè)計(jì)中的一個(gè)重要屬性,它與無危害電路密切相關(guān)。本文在基于交織模式的積累狀態(tài)模型基礎(chǔ)上,對(duì)電路的半模性進(jìn)行檢驗(yàn)。在積累狀態(tài)偏序集對(duì)應(yīng)的Hasse圖上,詳細(xì)討論了邏輯門電路的半模格語義。鑒于電路的狀態(tài)會(huì)隨復(fù)雜度指數(shù)增長,本文提出了自動(dòng)生成Hasse圖和檢驗(yàn)半模性的算法。最后,以異步電路基本單元C單元為例,對(duì)其進(jìn)行了自動(dòng)化驗(yàn)證,檢驗(yàn)了算法的有效性。 

【文章來源】：廣西民族大學(xué)廣西壯族自治區(qū)

【文章頁數(shù)】：45 頁

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

【文章目錄】：
摘要
abstract
1 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 本文主要研究內(nèi)容
    1.4 本文主要研究結(jié)構(gòu)
2 半模格與并發(fā)模型
    2.1 偏序關(guān)系與半模格
    2.2 有限狀態(tài)機(jī)
    2.3 并發(fā)模式
3 基于交織模式和Hasse圖的電路模型理論
    3.1 電路的Hasse圖模型
    3.2 基于Hasse圖的形式化分析方法
    3.3 本章小結(jié)
4 基于Hasse圖的半模性驗(yàn)證方法
    4.1 Hasse圖的坐標(biāo)表示
    4.2 自動(dòng)生成Hasse圖的算法
    4.3 基于Hasse圖的半模性檢驗(yàn)理論
    4.4 實(shí)例:C單元的半模性檢驗(yàn)
    4.5 本章小結(jié)
5 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻(xiàn)
附錄
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻(xiàn)】：
期刊論文
[1]基于動(dòng)作細(xì)化的握手?jǐn)U展[J]. 楊昕梅,孫秀莉,李紹榮.  電子科技大學(xué)學(xué)報(bào). 2011(03)
[2]非模的上半模格的一個(gè)特征[J]. 周子亮.  河北大學(xué)學(xué)報(bào)(自然科學(xué)版). 1993(02)

博士論文
[1]異步電路設(shè)計(jì)方法學(xué)研究[D]. 徐陽揚(yáng).西安電子科技大學(xué) 2009

碩士論文
[1]半模格相關(guān)性質(zhì)的進(jìn)一步研究[D]. 馬輝.中央民族大學(xué) 2015



本文編號(hào)：3253550