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

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

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

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

【文章目錄】：
摘要
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)機
    2.3 并發(fā)模式
3 基于交織模式和Hasse圖的電路模型理論
    3.1 電路的Hasse圖模型
    3.2 基于Hasse圖的形式化分析方法
    3.3 本章小結(jié)
4 基于Hasse圖的半模性驗證方法
    4.1 Hasse圖的坐標(biāo)表示
    4.2 自動生成Hasse圖的算法
    4.3 基于Hasse圖的半模性檢驗理論
    4.4 實例:C單元的半模性檢驗
    4.5 本章小結(jié)
5 總結(jié)與展望
    5.1 總結(jié)
    5.2 展望
參考文獻
附錄
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄


【參考文獻】：
期刊論文
[1]基于動作細化的握手擴展[J]. 楊昕梅,孫秀莉,李紹榮.  電子科技大學(xué)學(xué)報. 2011(03)
[2]非模的上半模格的一個特征[J]. 周子亮.  河北大學(xué)學(xué)報(自然科學(xué)版). 1993(02)

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

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



本文編號：3253550