一种改进的快速逻辑综合算法

逻辑综合是数字系统自动化设计的重要理论之一。通过对经典的改进Q－M算法的潜心探索和深入研究，结合在线式PLD芯片解析这一实际问题，提出了几点改进，使得软件在运行速度和空间占用上有了很大改进。经过实践检验，该软件运行结果正确，符合PLD解析系统的要求。     

一种量子可逆逻辑模板综合算法

模板技术是量子可逆逻辑优化的一个重要手段,其优化程度依赖于模板的完备性.采用遗传算法作为全局搜索工具,提出了一个基于遗传算法的量子可逆逻辑模板综合算法.实验表明,该算法能有效生成新的模板线路,扩充了现有的模板库,提高了优化效率.     

反向逻辑综合技术中快速重构算法研究

对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性.而通过对目标系统的逻辑功能收集与归纳,再进行反向的逻辑综合处理是一种行之有效的手段,但是该手段实现时与传统的逻辑综合处理的有巨大差异.重点分析和论述了如何解决反向逻辑综合的处理速度和结果规模控制的两个核心难题,提出了一个适应面较广的Q-M法与锐积法相结合的处理算法,给出了算法流程和性能分析.     

TD匹配自动逻辑综合算法

逻辑综合是数字系统设计中的重要组成部分。随着LSI、MSI的日益广泛使用,综合的目的将不再是布尔函数的二级最小化。本文提出的自上而下(TD)匹配算法,根据给定组件库中的LSI、MSI,自动综合单输出布尔函数。并且在满足时间要求的同时,对综合的初步结果进行各种优化,使得最后结果所用组件最少。本文还提出利用广义三元式,通过求公共子表达式的自动逻辑综合系统,达到了预期的目的。     

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

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

数据的逻辑综合分析及决策算法

文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。     

一种逻辑优化的增强Quine-McCluskey算法

传统的Quine-McCluskey算法第一步多从只拥有最小项的真值表开始,而真值表中的最小项数目是算法时间复杂度的最重要因素,数目越大,算法完成需要的时间越多。本文采用增强Quine-McCluskey算法,对真值表大小进行控制,利用更多归约规则,从而减少算法执行时间。     

一种改进的快速多分辨率运动估计算法

提出一种改进的快速多分辨率运动估计算法,利用小波的多分辨率特性和小波匹配误差特性,在部分失真消元(PDE)算法的基础上,通过改进搜索顺序、匹配顺序和比较间隔来提高运动估计的速度。实验结果表明:该算法能达到全搜索算法(FSA)的精度,同时有效降低了计算复杂度。     

一种语音特征信息综合快速算法-N-BEST算法

语音识别技术一直是学术界研究的热点。语音特征信息综合是提高语音识别系统性能的一条有效途径。提出了一种语音特征信息综合快速算法——N-BEST算法。该方法可以较大地减少语音特征信息综合的运算量,提高特征信息综合语音识别系统的运行速度。     

一种面向PAL的快速逻辑综合算法

本文在[1]的基础上,给出了面向PAL结构一类大规模集成电路的快速逻辑综合算法,并依照PAL的多输出可分解特性给出了预处理冗余输入变量的策略,旨在解决具有多个初始原变量的复杂网络综合问题。     

基于卡诺图的三变量可逆逻辑综合算法

提出了一种基于卡诺图的可逆逻辑综合算法,该算法可以快速地求解带垃圾位的可逆逻辑综合问题。大量特定的可逆逻辑门都不可避免地带有一定的垃圾位, 如果使用真值表、置换群等经典可逆逻辑综合算法求解这些带垃圾位的可逆逻辑门,则因无法获得全局状态而很难得到结果。根据卡诺图的特点,将可逆逻辑问题分解为多个变量分别求解,无需关心全局状态。提出的卡诺图可逆逻辑综合算法 根据在卡诺图上的邻接性将3变量可逆逻辑问题划分为5个等价类;对每个等价类分别进行计算,在常数时间内解决了带垃圾位的可逆逻辑综合问题。     

基于主观逻辑的信任搜索算法

针对现有信任模型中信任搜索算法不能准确有效地对信任进行搜索与合成,利用主观逻辑理论对信任进行量化与计算,提出基于主观逻辑的信任搜索算法.算法由两个关键技术组成:信任路径提取算法与信任路径合成算法.仿真实例验证了该算法在信任合成时减少了信任网络中冗余信息对信任合成的影响,提高了信任搜索效率,使得合成结果更加准确.     

多级逻辑综合及逻辑图自动生成

本文重点讨论多级逻辑综合,连线表自动生成并绘出逻辑图。文中阐述了多级逻辑综合算法及逻辑图自动生成的布局、布线算法,给出了主要框图和连线表的生成方法,以及由网表转换为逻辑线路描述语言的接口程序框图,还介绍了在X-Window环境下根据网表直接生成逻辑图的实现方法。     

基于UPF的低功耗设计的逻辑综合

文章介绍基于UPF的低功耗设计中,各种实现低功耗的策略。并着重介绍UPF的相关命令及其意义及使用,然后说明UPF低功耗流程中的逻辑综合及步骤。最后给出总结,以及一些在低功耗下逻辑综合的经验。     

量子可逆逻辑综合的关键技术及其算法

最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆逻辑综合的一种较好的迭代方法,基于R-M算法的原始思想,构造了一个Hash函数,并在此基础上提出了一种可逆逻辑综合的快速算法.实验结果表明,在同等实验环境下使用类模板技术与快速算法,其优化的效果与效率远远优于已知的其他算法.     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。