基于AIG的双逻辑面积优化技术

发布时间：2021-12-11 09:29

　　面积作为集成电路设计的首要指标,一直是逻辑综合和优化的主要目标。逻辑综合与所采用的逻辑密切相关,逻辑函数通常是基于传统的布尔逻辑（Traditional Boolean Logic,TBL）实现。研究表明Reed-Muller逻辑（RML）在表示一部分逻辑函数时,其速度、面积、功耗等性能相较于TBL表示有很好的优化,又由于单一逻辑表示逻辑函数进行逻辑优化的局限性,因此逻辑函数可以采用TBL和RML的双逻辑来表示。在逻辑综合与优化过程中,逻辑函数的表示方法同样重要。近年来,与非图（And-Inverter Graph,AIG）作为一种逻辑函数表示形式被广泛应用于逻辑综合与优化过程中。本文从逻辑函数的图形表示AIG出发,提出了一种逻辑函数基于AIG的逻辑探测方法。又结合逻辑函数的双逻辑表示,提出了一种逻辑函数基于与/异或/非图（And-Xor-Inverter graph,AXIG）的双逻辑优化与映射方法。在映射过程中,提出了基于标准单元库映射方法。本文内容主要分为以下三个部分:（1）基于AIG实现逻辑函数的探测。给定一个逻辑函数,通过探测AIG图中满足特定逻辑的结构,进行逻辑函数的探测。... 

【文章来源】：宁波大学浙江省

【文章页数】：64 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
引言
1 绪论
    1.1 集成电路的设计
    1.2 研究目的与意义
    1.3 论文内容与结构
2 数字电路设计基础
    2.1 逻辑综合流程
        2.1.1 与工艺无关的逻辑优化
        2.1.2 与工艺相关的映射
    2.2 双逻辑理论基础
        2.2.1 TBL的定义及性质
        2.2.2 RML的定义及性质
    2.3 逻辑函数的表示形式
        2.3.1 二元决策图
        2.3.2 有向无环图
        2.3.3 与非图
3 逻辑探测的研究
    3.1 理论基础
    3.2 问题定义及基本思路
        3.2.1 问题定义
        3.2.2 基本思路
    3.3 研究AIG中的逻辑结构
        3.3.1 可优化的AIG图
        3.3.2 异或逻辑在AIG中的表示
        3.3.3 构建异或节点
    3.4 算法流程及演示例子
    3.5 实验结果及分析
    3.6 本章小结
4 基于双逻辑的面积优化技术
    4.1 理论基础
    4.2 问题定义及算法思想
        4.2.1 问题定义
        4.2.2 算法思想
    4.3 基于双逻辑的门级图形表示
        4.3.1 AXIG的构建
        4.3.2 逻辑函数的双逻辑门级表示
        4.3.3 基于双逻辑的映射
    4.4 算法流程及演示例子
    4.5 实验结果及分析
    4.6 本章小结
5 基于AXIG的面积优化技术
    5.1 理论基础
        5.1.1 基于AIG的映射方法
        5.1.2 极性图映射方法
    5.2 问题的定义和基本思路
        5.2.1 问题定义
        5.2.2 基本思路
    5.3 基于AXIG的面积优化方法
        5.3.1 基于NAND和NOR的极性图
        5.3.2 搜索图算法的改进
    5.4 算法流程及演示例子
    5.5 本章小结
6 总结与展望
    6.1 工作总结
    6.2 研究工作的局限性及工作展望
参考文献
在学研究成果
致谢


【参考文献】：
期刊论文
[1]基于不相交乘积项的逻辑探测和拆分算法[J]. 王伦耀,夏银水,陈偕雄,叶锡恩.  电子学报. 2012(10)
[2]逻辑函数的双逻辑综合与优化[J]. 王伦耀,夏银水,陈偕雄.  计算机辅助设计与图形学学报. 2012(07)
[3]基于多数覆盖的二级MPRM函数逻辑优化[J]. 王伦耀,夏银水,陈偕雄.  电子与信息学报. 2012(04)
[4]基于乘积项的双逻辑实现探测算法[J]. 叶锡恩,毛科益,夏银水.  电子学报. 2009(05)
[5]逻辑函数适于双逻辑实现的探测算法[J]. 夏银水,毛科益,叶锡恩.  计算机辅助设计与图形学学报. 2007(12)
[6]一种新的用于探测Pure Reed-Muller逻辑的算法[J]. 叶锡恩,毛科益,夏银水.  浙江大学学报(理学版). 2007(03)



本文编号：3534430