面積作為集成電路設(shè)計(jì)的首要指標(biāo),一直是邏輯綜合和優(yōu)化的主要目標(biāo)。邏輯綜合與所采用的邏輯密切相關(guān),邏輯函數(shù)通常是基于傳統(tǒng)的布爾邏輯（Traditional Boolean Logic,TBL）實(shí)現(xiàn)。研究表明Reed-Muller邏輯（RML）在表示一部分邏輯函數(shù)時(shí),其速度、面積、功耗等性能相較于TBL表示有很好的優(yōu)化,又由于單一邏輯表示邏輯函數(shù)進(jìn)行邏輯優(yōu)化的局限性,因此邏輯函數(shù)可以采用TBL和RML的雙邏輯來表示。在邏輯綜合與優(yōu)化過程中,邏輯函數(shù)的表示方法同樣重要。近年來,與非圖（And-Inverter Graph,AIG）作為一種邏輯函數(shù)表示形式被廣泛應(yīng)用于邏輯綜合與優(yōu)化過程中。本文從邏輯函數(shù)的圖形表示AIG出發(fā),提出了一種邏輯函數(shù)基于AIG的邏輯探測方法。又結(jié)合邏輯函數(shù)的雙邏輯表示,提出了一種邏輯函數(shù)基于與/異或/非圖（And-Xor-Inverter graph,AXIG）的雙邏輯優(yōu)化與映射方法。在映射過程中,提出了基于標(biāo)準(zhǔn)單元庫映射方法。本文內(nèi)容主要分為以下三個(gè)部分:（1）基于AIG實(shí)現(xiàn)邏輯函數(shù)的探測。給定一個(gè)邏輯函數(shù),通過探測AIG圖中滿足特定邏輯的結(jié)構(gòu),進(jìn)行邏輯函數(shù)的探測。... 

【文章來源】：寧波大學(xué)浙江省

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

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

【文章目錄】：
摘要
abstract
引言
1 緒論
    1.1 集成電路的設(shè)計(jì)
    1.2 研究目的與意義
    1.3 論文內(nèi)容與結(jié)構(gòu)
2 數(shù)字電路設(shè)計(jì)基礎(chǔ)
    2.1 邏輯綜合流程
        2.1.1 與工藝無關(guān)的邏輯優(yōu)化
        2.1.2 與工藝相關(guān)的映射
    2.2 雙邏輯理論基礎(chǔ)
        2.2.1 TBL的定義及性質(zhì)
        2.2.2 RML的定義及性質(zhì)
    2.3 邏輯函數(shù)的表示形式
        2.3.1 二元決策圖
        2.3.2 有向無環(huán)圖
        2.3.3 與非圖
3 邏輯探測的研究
    3.1 理論基礎(chǔ)
    3.2 問題定義及基本思路
        3.2.1 問題定義
        3.2.2 基本思路
    3.3 研究AIG中的邏輯結(jié)構(gòu)
        3.3.1 可優(yōu)化的AIG圖
        3.3.2 異或邏輯在AIG中的表示
        3.3.3 構(gòu)建異或節(jié)點(diǎn)
    3.4 算法流程及演示例子
    3.5 實(shí)驗(yàn)結(jié)果及分析
    3.6 本章小結(jié)
4 基于雙邏輯的面積優(yōu)化技術(shù)
    4.1 理論基礎(chǔ)
    4.2 問題定義及算法思想
        4.2.1 問題定義
        4.2.2 算法思想
    4.3 基于雙邏輯的門級圖形表示
        4.3.1 AXIG的構(gòu)建
        4.3.2 邏輯函數(shù)的雙邏輯門級表示
        4.3.3 基于雙邏輯的映射
    4.4 算法流程及演示例子
    4.5 實(shí)驗(yàn)結(jié)果及分析
    4.6 本章小結(jié)
5 基于AXIG的面積優(yōu)化技術(shù)
    5.1 理論基礎(chǔ)
        5.1.1 基于AIG的映射方法
        5.1.2 極性圖映射方法
    5.2 問題的定義和基本思路
        5.2.1 問題定義
        5.2.2 基本思路
    5.3 基于AXIG的面積優(yōu)化方法
        5.3.1 基于NAND和NOR的極性圖
        5.3.2 搜索圖算法的改進(jìn)
    5.4 算法流程及演示例子
    5.5 本章小結(jié)
6 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 研究工作的局限性及工作展望
參考文獻(xiàn)
在學(xué)研究成果
致謝


【參考文獻(xiàn)】：
期刊論文
[1]基于不相交乘積項(xiàng)的邏輯探測和拆分算法[J]. 王倫耀,夏銀水,陳偕雄,葉錫恩.  電子學(xué)報(bào). 2012(10)
[2]邏輯函數(shù)的雙邏輯綜合與優(yōu)化[J]. 王倫耀,夏銀水,陳偕雄.  計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào). 2012(07)
[3]基于多數(shù)覆蓋的二級MPRM函數(shù)邏輯優(yōu)化[J]. 王倫耀,夏銀水,陳偕雄.  電子與信息學(xué)報(bào). 2012(04)
[4]基于乘積項(xiàng)的雙邏輯實(shí)現(xiàn)探測算法[J]. 葉錫恩,毛科益,夏銀水.  電子學(xué)報(bào). 2009(05)
[5]邏輯函數(shù)適于雙邏輯實(shí)現(xiàn)的探測算法[J]. 夏銀水,毛科益,葉錫恩.  計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào). 2007(12)
[6]一種新的用于探測Pure Reed-Muller邏輯的算法[J]. 葉錫恩,毛科益,夏銀水.  浙江大學(xué)學(xué)報(bào)(理學(xué)版). 2007(03)



本文編號：3534430