基于子集迭代相交算法的脱机式逻辑综合系统的设计与实现

发布时间：2022-01-23 05:05

　　随着集成电路制造技术的飞速发展,芯片已成为构建现代信息化社会的物质基础。因此,开展逻辑不明芯片解析技术的研究对我国引进、吸收国外先进技术,实现跨越式发展具有着重要的影响和深远的意义。脱机式逻辑不明芯片解析系统的设计与开发是进行逻辑不明芯片分析与研究的一个重要途径。作为脱机式逻辑不明芯片解析系统的重要组成部分,逻辑综合系统的处理能力与处理效率将直接影响到整个解析系统的处理能力与处理效率。随着逻辑芯片制造技术的迅速发展,如何在现有计算条件下,快速、准确的完成大规模数据集合的逻辑综合处理,将成为逻辑综合系统设计过程中主要面对的难题。本文围绕着提高逻辑综合系统处理能力和处理效率这一目标,在深入研究逻辑综合理论的基础上,通过对经典逻辑综合算法的分析,针对逆向解析过程中芯片数据集合的特点,从算法的空间复杂度与时间复杂度两方面考虑,提出了子集迭代相交算法,并在此算法的基础上,设计与开发了基于子集迭代相交算法的逻辑综合系统。经测试结果表明,基于子集迭代相交算法的逻辑综合系统能够快速、有效的完成大规模数据集合的逻辑综合处理。并且,该系统的应用还可以由单机推广到网络,以进一步提高逻辑综合处理的速度。 

【文章来源】：战略支援部队信息工程大学河南省

【文章页数】：71 页

【学位级别】：硕士

【部分图文】：

图16分布式数据处理结构示意图

测试环境组成:①联想计算机，配置是Pentium4，2.4GHz， RAM256MB， windowsxP操作系统;② looMbpsNlc;③模拟数据采集软件;④数据压缩软件;⑤最小覆盖生成软件。图18是分布式逻辑综合系统测试环境的结构示意图。软件系统 :l.windowsxp操作系统2熬据压编软{+-..、、、、、、，、.‘、瞥瞥肥经目盆色闷.软件系统 :l.windowsxP操作系统2.模拟数据采集系统软件系统 1.wlndowsXp操作系统Zt最小覆盖生成软件集数拟采..’模据数据处理主机图18逻辑综合系统测试环境图图18中数据采集主机负责生成模拟采集数据，并向处理分机发送已采集的分块数据。模拟数据采集软件根据输入的布尔表达式自动生成对应逻辑电路的输入/输出之间激励关系，并交由处理分机对其进行压缩处理。为达到检测系统性能的目的，模拟数据采集软件对输入的布尔表达式进行穷举激励，以模拟不明芯片的初始数据全集。处理分机负责对接收到的分块数据进行数据压缩处理，在压缩过程中同时对分块数据中的真值顶点集合与假值顶点集合进行压缩，并将每个分块数据的压缩结果传送到处理主机。处理主机将每次接收到的分块数据压缩结果作为中间结果进行迭代相交处理，直至全部分块数据的压缩全部完成。并根据极性选择

【参考文献】：
期刊论文
[1]辐射路匹配:从门级到功能模块级的子电路提取算法[J]. 李长青,汪雪林,彭思龙.  计算机辅助设计与图形学学报. 2006(09)
[2]基于三变量函数的计算机辅助逻辑综合[J]. 厉晓华,朱敏,陈偕雄.  科技通报. 2006(01)
[3]SoC设计中的低功耗逻辑综合策略[J]. 王丽英,杨军,罗岚.  电子工程师. 2005(11)
[4]逻辑综合中对关键路径处理方法的研究[J]. 夏有为,林正浩.  电子设计应用. 2005(06)
[5]逻辑综合中的Cube运算[J]. 刘丹非.  计算机科学. 2004(12)
[6]自动逻辑综合中无冗余覆盖唯一性[J]. 王成艳.  中南民族大学学报(自然科学版). 2004(03)
[7]数据的逻辑综合分析及决策算法[J]. 管致锦,张义清,徐慧.  计算机工程与应用. 2004(26)
[8]代数拓扑方法应用于逻辑综合[J]. 王成艳.  湖北师范学院学报(自然科学版). 2004(01)
[9]多维体的自动逻辑综合算法与实现[J]. 张永亮,张永满,张安宏.  通化师范学院学报. 2004(02)
[10]大变量逻辑函数最佳覆盖问题研究[J]. 管致锦,张义清,邱建林,王波.  计算机应用与软件. 2003(12)



本文编号：3603659