检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

逻辑综合中关键门的寻找

上海交通大学学报 2001年第9期35卷 1275-1279,1302页

作者：张镭林争辉吕宗伟上海交通大学大规模集成电路研究所上海200030

关键路径一直是电路性能优化的核心问题之一 .门的尺寸调整和插入缓冲器是时间优化的重要方法 .实际上 ,电路拓扑图中最长的路径不一定就是关键路径 ,只有在一定输入下能敏化的最长路径才是关键路径 .因此 ,仅仅按拓扑信息优化最长的路... 详细信息

关键路径一直是电路性能优化的核心问题之一 .门的尺寸调整和插入缓冲器是时间优化的重要方法 .实际上 ,电路拓扑图中最长的路径不一定就是关键路径 ,只有在一定输入下能敏化的最长路径才是关键路径 .因此 ,仅仅按拓扑信息优化最长的路径不一定能真正提高电路的性能 .此外 ,仅仅利用 D-算法判断路径敏化有不足之处 .本文利用电路拓扑找出超出时间限制的路径 ,然后利用改进的 FAN算法—— T- FAN算法 ,提取关键门——即和电路整体延时有关系的门 ,为优化指出具体、准确的目标 .实验表明 ,改进的算法在保证优化效果的前提下 ,能平均减少 30 %～ 40 %优化对象 .

关键词：关键路径时间优化 FNA算法逻辑综合关键门

在线全文

学校读者我要写书评

暂无评论

基于半张量积的逻辑综合研究进展

电子与信息学报 2024年第9期46卷 3490-3502页

作者：储飞马铖昱闫鸣潘家祥潘鸿洋王伦耀夏银水宁波大学信息科学与工程学院宁波315211 复旦大学微电子学院上海200433

逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔... 详细信息

逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍;其次回顾了矩阵半张量积的发展历程,并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展;最后,对未来可能对逻辑综合产生重大影响的新技术进行了展望。

关键词：逻辑综合逻辑优化推理引擎半张量积

在线全文

学校读者我要写书评

暂无评论

基于布尔可满足性的精确逻辑综合综述

电子与信息学报 2023年第1期45卷 14-23页

作者：储飞潘鸿洋宁波大学信息科学与工程学院宁波315211

逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于... 详细信息

逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题;其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展;最后对精确综合的未来发展趋势进行讨论。

关键词：逻辑综合精确综合布尔可满足性多数逻辑门

在线全文

学校读者我要写书评

暂无评论

逻辑函数的双逻辑综合与优化

计算机辅助设计与图形学学报 2012年第7期24卷 961-967页

作者：王伦耀夏银水陈偕雄宁波大学信息科学与工程学院宁波315211 浙江大学信息与电子工程学系杭州310027

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分... 详细信息

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.

关键词： Reed—Muller逻辑双逻辑逻辑综合逻辑优化

在线全文

学校读者我要写书评

暂无评论

逻辑综合中的Cube运算

计算机科学 2004年第12期31卷 226-227页

作者：刘丹非云南师范大学计算机科学系昆明650092

Cube运算是EDA中进行逻辑综合(Logic Synthesis)的重要方法之一,Cube运算的实质仍然是卡诺言图化简。卡诺图是一个二维的平面图,Cube运算是建立在多维的空间坐标体系上的计算模型。本文从真值表和卡诺图出发,研究Cube运算的基本方法,从... 详细信息

Cube运算是EDA中进行逻辑综合(Logic Synthesis)的重要方法之一,Cube运算的实质仍然是卡诺言图化简。卡诺图是一个二维的平面图,Cube运算是建立在多维的空间坐标体系上的计算模型。本文从真值表和卡诺图出发,研究Cube运算的基本方法,从而得出多维变量的数学模型和计算方法。

关键词： Cube运算逻辑综合 EDA 卡诺图数字逻辑电路

在线全文

学校读者我要写书评

暂无评论

ASIC逻辑综合中重定时序

系统工程与电子技术 1995年第7期17卷 40-45页

作者：柳进王义和叶以正哈尔滨工业大学

在ＡＳＩＣ逻辑综合结构级优化中，去除冗余逻辑结构后，组合逻辑电路上会出现时间延迟不一致性现象，导致时序混乱，使时序正常操作限定条件不满足，这样需要重新安排和分配时序。本文分析组合逻辑电路的结构，提出了调整方法，应用二... 详细信息

在ＡＳＩＣ逻辑综合结构级优化中，去除冗余逻辑结构后，组合逻辑电路上会出现时间延迟不一致性现象，导致时序混乱，使时序正常操作限定条件不满足，这样需要重新安排和分配时序。本文分析组合逻辑电路的结构，提出了调整方法，应用二阶段线性规划方法求出最优解，为ＡＳＩＣ逻辑综合中时序正常地运行提供了最佳方案。

关键词：专用集成电路逻辑综合时序 ASIC

在线全文

学校读者我要写书评

暂无评论

逻辑综合中的MUX优化研究

逻辑综合中的MUX优化研究

作者：张泽川西安电子科技大学

学位级别：硕士

随着现代集成电路的飞速发展,电路的设计规模越来越大,对电子设计自动化(Electronic design automation,EDA)工具的需求也随之提高,逻辑综合作为EDA技术中的一部分,是连接高级抽象设计与物理实现之间的桥梁,将高级硬件描述语言转换成为... 详细信息

随着现代集成电路的飞速发展,电路的设计规模越来越大,对电子设计自动化(Electronic design automation,EDA)工具的需求也随之提高,逻辑综合作为EDA技术中的一部分,是连接高级抽象设计与物理实现之间的桥梁,将高级硬件描述语言转换成为门级网表,是数字电路设计流程中不可或缺的环节。数据选择器(multiplexer,MUX)是数字电路设计中的一种常用电路,实现从多个输入信号中选择一个作为输出信号的功能,在有限的输出线路上传输多个输入信号,被广泛应用于存储器、数字信号处理器、控制器和通信系统等方面。因此在逻辑综合中对MUX优化的结果好坏将直接影响整个电路的性能,所以在逻辑综合时如何将表示MUX的高级抽象描述,转换成为质量良好的门级网表是一个非常值得关注的问题。本文基于MUX在逻辑综合过程中的优化问题进行具体研究,以面积和延迟作为关键参数进行优化,探索MUX的各种优化策略,提出了不同结构实现方式以及相关优化方法。本文首先对逻辑综合进行介绍以及说明如何在优化时使用布尔网络表示电路,并且对各种不同类型的MUX进行分析,根据MUX的特征提出使用MUX树结构以及译码器和选择器结构这两种通用方法进行网络的构建与优化。然后针对MUX树结构使用保留其结构特征的MUX节点进行网络构建的方法,将其转化成二元决策图(Binary Decision Diagram,BDD)进行优化,之后再进行纵向节点合并,进一步减小整个网络。而对于译码器和选择器结构通过使用与非图(And Inverter Graph,AIG)进行网络构建的方法,先将MUX的控制信号使用译码器结构实现,然后再将译码器的输出与数据输入通过选择器结构实现,两部分结构使用平衡与共享的方法进行网络的构建与优化,对于总线MUX仅需要实现一次控制信号网络,与使用MUX树结构的方法相比更有优势。接着当数据输入有常数时,针对不同网络节点使用常数传递的方法再次对网络进行优化。随后提出针对控制信号的重编码和直接分解的方法,进行异构网络的构建与优化,有效解决了包含default项MUX的优化。紧接着对数据输入有重叠的MUX,采用移位器形式的结构进行网络构建,极大地实现网络间的共享,对数据输入全为常数的MUX,通过控制信号的合并使得需要优化的网络变得更小。以上方法结合起来可以有效提高最终生成网表的质量。本文所研究的内容源于大量实际设计中存在的MUX优化问题,在具有各种不同特征的测试案例和真实设计案例下与开源逻辑综合工具ABC相比,取得了更好的实验结果,表明本文所提出优化方法的正确性与有效性。

关键词： EDA 逻辑综合 MUX 面积延迟

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于等价性形式验证的逻辑综合引擎设计研究

电路与系统学报 2007年第4期12卷 1-4页

作者：翁延玲葛海通严晓浪卢永江浙江大学超大规模集成电路设计研究所浙江杭州310027

本文描述了一个基于等价性验证的逻辑综合引擎,它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题。为了提高等价性验证引擎的工... 详细信息

本文描述了一个基于等价性验证的逻辑综合引擎,它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题。为了提高等价性验证引擎的工作效率,本文还提出并实现了一系列保持电路相似性的方法。最后,本文以SYNOPSYS的等价性验证工具FORMALITY作为比较,试验结果表明本系统是有效的。

关键词：逻辑综合等价性验证电路相似性

市场与政府的“逻辑综合”——读卫兴华主编《市场功能与政府功能组合论》

在线全文

学校读者我要写书评

暂无评论

当代经济研究 1999年第9期40卷 71-72页

作者：毛树礼长春税务学院<当代经济研究>编辑部

关于“市场与政府的关系”问题，是一个争论了很久也未完全达到共识的问题。对于这个悬而未决的老问题的讨论，在西方经济学阵营中有两种对立的观点，一种是以亚当·斯密自由放任的传统，后经米塞斯——哈耶克等人加以拓展，又经费里德... 详细信息

关于“市场与政府的关系”问题，是一个争论了很久也未完全达到共识的问题。对于这个悬而未决的老问题的讨论，在西方经济学阵营中有两种对立的观点，一种是以亚当·斯密自由放任的传统，后经米塞斯——哈耶克等人加以拓展，又经费里德曼的货币主义加以充实的市场自由主义...

关键词：市场功能政府功能逻辑综合