共查询到20条相似文献,搜索用时 31 毫秒
1.
本文提出一个基于结构的多级逻辑优化算法MLOBLS,多级组合逻辑网络的优化通过分析名逻辑门的可替代函数,并用简单的替代函数作替代变换完成。算法MLOBLS具有良好的逻辑结构重构能力,能得到近似最优的多级逻辑结构。整个优化过程在多级逻辑结构上直接进行,其时/空复杂性较少依赖于多级逻辑结构的基本输入/输出数目。/ 相似文献
2.
3.
4.
基于结构的多级逻辑优化 总被引:1,自引:0,他引:1
本文分析多级组合逻辑结构中各数据信号取值状态及其与之相关的信号取值状态,构造数据信号取值状态与或图。利用与或图修剪技术寻求相应逻辑结构中冗余逻辑连线。消除多级逻辑结构中冗余的逻辑连线、冗余逻辑门并进行相应的等价逻辑结构变换,实现多级逻辑优化。该优化过程直接在多级逻辑结构上进行并保持了原逻辑结构的总体结构特征,运行时空复杂性对基本输入/输出数目依赖很少,能适应大规模数字逻辑结构优化。 相似文献
5.
多级逻辑综合及逻辑图自动生成 总被引:1,自引:0,他引:1
本文重点讨论多级逻辑综合,连线表自动生成并绘出逻辑图。文中阐述了多级逻辑综合算法及逻辑图自动生成的布局、布线算法,给出了主要框图和连线表的生成方法,以及由网表转换为逻辑线路描述语言的接口程序框图,还介绍了在X-Window环境下根据网表直接生成逻辑图的实现方法。 相似文献
6.
针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化. 相似文献
7.
量子可逆逻辑综合的关键技术及其算法 总被引:1,自引:0,他引:1
最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆逻辑综合的一种较好的迭代方法,基于R-M算法的原始思想,构造了一个Hash函数,并在此基础上提出了一种可逆逻辑综合的快速算法.实验结果表明,在同等实验环境下使用类模板技术与快速算法,其优化的效果与效率远远优于已知的其他算法. 相似文献
8.
HDPLAl 作为全国二级 IC—CAD 系统的一个自动设计子系统 PLAUD 的一个主要模块,包含有二级组合逻辑的输入描述、逻辑最小化、元件稀疏化、逻辑正确性验证。本算法是一个完全新的逼近优化方法,所采用的递归、启发式等策略及求解思路、方法也是独特的,能够全自动地一次生成满足逻辑要求的优化 PLA 的逻辑真值表,程序使用非常灵活、方便。在大量的实例运算中,本算法取得了目前国内从未出现过的好结果,且与 ESPRESSO—Ⅱ算法实例比较,其结果也是令人满意的。本算法结果优于目前已知的其它算法结果。 相似文献
9.
为了尽可能提高实际电路的运行速度,针对传统“逻辑优化”过程中的问题和不足,以“多级逻辑变换”技术为核心,提出了“逻辑加速优化”设计方法。在优化过程中,既考虑了与工艺无关的优化也考虑了工艺库单元的实际延时性能;由于对原电路进行了较大规模的重建,因此可得到传统“分解”技术无法生成的逻辑结构。. 相似文献
10.
11.
本文讨论了基于逻辑级数极化小的布尔孙数因子分解,提出了基于Lawler分割算法及子逻辑结构变换的组合逻辑电路的逻辑级数优化方法。 相似文献
12.
在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化。 相似文献
13.
仿真硬件是一种新近发展起来的将仿真优化算法的思想应用于硬件物理结构设计的技术,特别是电子系统的设计.针对代数法和卡诺图法难以化简规模很大的逻辑函数问题,提出使用蚁群算法处理大规模逻辑函数化简.详细阐述了蚁群算法处理逻辑函数化简问题模型以及重要技术实现.试验表明演化硬件设计方法能够化简规模很大的逻辑函数. 相似文献
14.
逻辑优化是数字逻辑电路分析与设计的关键,对于降低系统复杂性,减少系统功耗和提高系统安全性有重要作用。随着数字逻辑电路规模的不断扩大,传统的理论将面临新的挑战。从知识工程角度看,逻辑优化的本质是知识约简的过程。粒计算(granular computing,Gr C)是处理大规模、复杂问题的人工智能新方法。在简述现有逻辑优化算法和粒计算理论发展现状的基础上,研究了粒计算理论中的等价关系、相容关系、覆盖等知识模型以及用粒矩阵刻画的知识发现算法,指出了将其应用于大规模数字逻辑电路逻辑优化的研究方向与研究思路。 相似文献
15.
逻辑函数数求补是大变量逻辑优化的算法基础,采用二叉树结构,用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程,以及在求补二叉树上补集的收集方法。 相似文献
16.
赵文庆 《计算机辅助设计与图形学学报》1992,4(3):68-73,55
用多级逻辑实现控制器的逻辑综合,工艺映射是其中的一个重要步骤。本文叙述的工艺映射算法TTMAP,是在映射过程中考虑了电路的时延与芯片面积等性能因素,在多级逻辑综合中将因子化的逻辑函数映射为CMOS的串并赶电路单元,产生可布图的网表文件。本算法在比利时HMEC研究中心开发,为多级逻辑综合系统MLL中的一个模块。经实例运行,与美国加州大学柏克莱分校的MISⅡ软件相比,本算法的结果较优。 相似文献
17.
李文骞 《电脑编程技巧与维护》2016,(1):20-22
模板技术是量子可逆逻辑优化的一个重要手段,其优化程度依赖于模板的完备性.采用遗传算法作为全局搜索工具,提出了一个基于遗传算法的量子可逆逻辑模板综合算法.实验表明,该算法能有效生成新的模板线路,扩充了现有的模板库,提高了优化效率. 相似文献
18.
19.
提出一种针对小数乘法器的低功耗设计算法,其优化指标为综合后小数乘法器内部寄存中间运算结果的寄存器位宽,解决了目前低功耗设计中算法自身逻辑单元被引入系统从而降低系统优化效果的问题.该算法能够在不降低系统工作效率、不损失系统运算精度、不增加额外逻辑单元的条件下,大幅降低系统功耗和面积.在使用该算法对某一射频模块进行优化后,硬件测试结果显示该射频模块对某型号FPGA的逻辑占用率相比优化前降低17.9%,寄存器总数降低30.7%,存储单元占用率降低21.5%.该算法适用于对含有大量小数乘法运算的系统进行低功耗优化. 相似文献