期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
面向等价性验证的锁存器匹配算法 被引量:2
1
作者 郑飞君 杨军 +1 位作者 葛海通 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2006年第8期1293-1296,共4页
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配... 为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分.ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题. 展开更多
关键词 等价性验证 锁存器匹配 局部二叉判决图 目标模拟
下载PDF
Deep Drawing with Local Hardening on Digital Multi-axis Servo Press 被引量:4
2
作者 Sebastian Kriechenbauer Reinhard Mauermann Dirk Landgrebe 《Acta Metallurgica Sinica(English Letters)》 SCIE EI CAS CSCD 2015年第12期1490-1495,共6页
The paper discusses a new drawing technology, based on a synchronized movement of ram and cushion with multiple bending operations in alternating directions called "bi-directional deep drawing(BDD)." The goal is t... The paper discusses a new drawing technology, based on a synchronized movement of ram and cushion with multiple bending operations in alternating directions called "bi-directional deep drawing(BDD)." The goal is to avoid local thinning by strengthening the weak point using local hardening. BDD operations are realized before the conventional deep drawing process. This results in a local strain hardening at the weak point of the workpiece, which is usually located at the bottom punch radius. Two major aspects have to be given attention due to the high number of process parameters. On the one hand, for process design, it is helpful to have a tool by means of which it is possible to simultaneously create both the machine program for the servo press and the initial configuration for the process simulation. From the authors' point of view, this complexity can only be represented by a numerical analysis method, on the other hand. Consequently, both aspects are given attention in this paper. 展开更多
关键词 Bi-directional deep drawing(bdd local hardening Servo press Pulsation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部