多输出函数逻辑综合的理论研究与程序实现
发布时间：2021-04-04 19:34
电子芯片的发展非常迅速,并且被越来越广泛的应用到各个领域,芯片的设计和解析的重要性不言而喻。面向功能集的在线式芯片解析是当前较为先进的非侵入式解析方法,己被业界广泛应用。逻辑综合子模块是在线式解析系统中的重要环节,直接影响最终分析结果的准确性、高效性。到目前为止,逻辑综合算法所面临的问题仍是实时性的要求和存储资源的限制,二者中.存储资源的制约性更强,更亟待解决,如何解决这个问题是本文研究核心。通过高效的预处理子模块,对采样结果先进行极大程度的优化.在进入将会产生大规模中间数据井大规模耗费时间的迭代过程之前将数据规模大幅压缩,从而降低算法整体的时间复杂度和空间复杂度（?）通过改进编程策略,增强对有限硬件资源的复用性,最终突破瓶颈,达到提升系统处理能力的目的。时间复杂度的控制是也本文研究的一个重要问题,对输入数据类型的适应性是另一个重要的评定标准,所以本文引进了世界广泛使用的Benchmark标准测试数据,以保证测试结果的明确性和完备性。通过以上研究,实现了对传统逻辑综合方法的优化和实现。经权威测试用例检测.本系统时间复杂度得到了很好的控制,空间复杂度在相同输入情况下大幅下降。在规模相当的...
【文章来源】：战略支援部队信息工程大学河南省
【文章页数】：57 页
【学位级别】：硕士
【文章目录】：
表目录
图目录
摘要
ABSTRACT
第一章 绪论
1.1 课题背景
1.2 研究现状
1.3 有待解决得问题
1.4 论文的结构
1.5 本章小结
第二章 逻辑综合的基本内容和方法
2.1 逻辑综合的基本原理与主要功能
2.1.1 逻辑综合的基本原理
2.1.2 逻辑综合的主要功能
2.2 逻辑综合理论的相关定义和原子算法
2.2.1 逻辑综合理论的相关定义
2.2.2 逻辑综合理论的原子算法
2.3 逻辑综合算法的分类及常用算法的选择和比较
2.3.1 逻辑综合算法的分类
2.3.2 常用算法的比较和选择
第三章 改进的多输出函数逻辑综合启发式算法
3.1 算法涉及到的定义
3.1.1 常用符号
3.1.2 封锁矩阵个覆盖矩阵
3.1.3 算法所涉及到的其它定义
3.2 算法涉及到的定理
3.3 算法的整体架构
3.4 核心算法的描述和分析
3.4.1 预处理算法
3.4.2 近似最小覆盖生成算法
3.4.3 DC项删除算法
3.5 本章小结
第四章 理论研究和程序实现中的问题与解决
4.1 数据结构的选择
4.2 预处理算法的研究和改进
4.2.1 预处理算法的可行性指标
4.2.2 预处理算法的选择
4.2.3 对预处理算法的分析
4.2.4 程序实现过程中的问题与解决
4.3 初始化与化简算法
4.3.1 对初始化与化简算法的分析
4.3.2 程序实现过程中的问题与解决
4.4 DC项删除操作的研究与实现
4.4.1 DC项删除操作的原理
4.4.2 DC项删除操作执行机制的选择
4.5 本章小结
第五章 系统测试与分析
5.1 测试环境
5.2 Benchmark测试
5.3 子程序模块测试
5.4 本章小结
结束语
参考文献
作者简历
致谢
【参考文献】：
期刊论文
[1]多输入多输出单边逻辑函数优化系统的设计研究[J]. 邱建林,王波,刘维富. 南京邮电大学学报(自然科学版). 2006(05)
[2]基于时间偏差的并行逻辑模拟的动态负载平衡[J]. 陈进军,吴悦,杨洪斌. 计算机工程与设计. 2005(06)
[3]逻辑综合中的Cube运算[J]. 刘丹非. 计算机科学. 2004(12)
[4]适于大数目输入变量的逻辑综合启发式算法[J]. 管致锦,张义清. 计算机应用与软件. 2004(11)
[5]自动逻辑综合中无冗余覆盖唯一性[J]. 王成艳. 中南民族大学学报(自然科学版). 2004(03)
[6]VHDL逻辑级模拟系统中模拟模块的设计和实现[J]. 周喜明,吴悦杨,洪斌,孔健. 微电子学与计算机. 2004(03)
[7]启发式算法与在线式解析[J]. 罗颖,肖梓祥. 信息工程大学学报. 2003(02)
[8]基于Boole过程的并行逻辑模拟算法[J]. 冯刚,马光胜,杜振军. 哈尔滨工程大学学报. 2001(06)
博士论文
[1]基于Boole过程的考虑互连效应的EDA方法研究[D]. 冯刚.哈尔滨工程大学 2005
硕士论文
[1]在线式不明芯片解析技术研究[D]. 聂瑞清.解放军信息工程大学 2001
本文编号：3118353
【文章来源】：战略支援部队信息工程大学河南省
【文章页数】：57 页
【学位级别】：硕士
【文章目录】：
表目录
图目录
摘要
ABSTRACT
第一章 绪论
1.1 课题背景
1.2 研究现状
1.3 有待解决得问题
1.4 论文的结构
1.5 本章小结
第二章 逻辑综合的基本内容和方法
2.1 逻辑综合的基本原理与主要功能
2.1.1 逻辑综合的基本原理
2.1.2 逻辑综合的主要功能
2.2 逻辑综合理论的相关定义和原子算法
2.2.1 逻辑综合理论的相关定义
2.2.2 逻辑综合理论的原子算法
2.3 逻辑综合算法的分类及常用算法的选择和比较
2.3.1 逻辑综合算法的分类
2.3.2 常用算法的比较和选择
第三章 改进的多输出函数逻辑综合启发式算法
3.1 算法涉及到的定义
3.1.1 常用符号
3.1.2 封锁矩阵个覆盖矩阵
3.1.3 算法所涉及到的其它定义
3.2 算法涉及到的定理
3.3 算法的整体架构
3.4 核心算法的描述和分析
3.4.1 预处理算法
3.4.2 近似最小覆盖生成算法
3.4.3 DC项删除算法
3.5 本章小结
第四章 理论研究和程序实现中的问题与解决
4.1 数据结构的选择
4.2 预处理算法的研究和改进
4.2.1 预处理算法的可行性指标
4.2.2 预处理算法的选择
4.2.3 对预处理算法的分析
4.2.4 程序实现过程中的问题与解决
4.3 初始化与化简算法
4.3.1 对初始化与化简算法的分析
4.3.2 程序实现过程中的问题与解决
4.4 DC项删除操作的研究与实现
4.4.1 DC项删除操作的原理
4.4.2 DC项删除操作执行机制的选择
4.5 本章小结
第五章 系统测试与分析
5.1 测试环境
5.2 Benchmark测试
5.3 子程序模块测试
5.4 本章小结
结束语
参考文献
作者简历
致谢
【参考文献】：
期刊论文
[1]多输入多输出单边逻辑函数优化系统的设计研究[J]. 邱建林,王波,刘维富. 南京邮电大学学报(自然科学版). 2006(05)
[2]基于时间偏差的并行逻辑模拟的动态负载平衡[J]. 陈进军,吴悦,杨洪斌. 计算机工程与设计. 2005(06)
[3]逻辑综合中的Cube运算[J]. 刘丹非. 计算机科学. 2004(12)
[4]适于大数目输入变量的逻辑综合启发式算法[J]. 管致锦,张义清. 计算机应用与软件. 2004(11)
[5]自动逻辑综合中无冗余覆盖唯一性[J]. 王成艳. 中南民族大学学报(自然科学版). 2004(03)
[6]VHDL逻辑级模拟系统中模拟模块的设计和实现[J]. 周喜明,吴悦杨,洪斌,孔健. 微电子学与计算机. 2004(03)
[7]启发式算法与在线式解析[J]. 罗颖,肖梓祥. 信息工程大学学报. 2003(02)
[8]基于Boole过程的并行逻辑模拟算法[J]. 冯刚,马光胜,杜振军. 哈尔滨工程大学学报. 2001(06)
博士论文
[1]基于Boole过程的考虑互连效应的EDA方法研究[D]. 冯刚.哈尔滨工程大学 2005
硕士论文
[1]在线式不明芯片解析技术研究[D]. 聂瑞清.解放军信息工程大学 2001
本文编号：3118353
本文链接：https://www.wllwen.com/shekelunwen/ljx/3118353.html
