存储芯片层次化分割P/G网等效电阻求解算法 被引量：1

1

作者 竺红卫 严晓浪 +1 位作者 孙玲玲 马琪 《电路与系统学报》 CSCD 2001年第4期7-10,共4页

由于存储芯片版图P/G网规模的巨大,对于计算电阻网络中节点间等效电阻问题,直接利用常规线性方程组求解算法无法同时满足内存空间与运行时间上的限制。针对版图线网网络关联密集度不均衡的特点,本文提出了一种层次化网络分割算法,将全... 由于存储芯片版图P/G网规模的巨大,对于计算电阻网络中节点间等效电阻问题,直接利用常规线性方程组求解算法无法同时满足内存空间与运行时间上的限制。针对版图线网网络关联密集度不均衡的特点,本文提出了一种层次化网络分割算法,将全局网络按层次分割成可求解子网,并利用等效子网算法实现多观测点快速计算。 展开更多

关键词 等效电阻 存储芯片 层次化分割 VLSI P/G网 集成电路

下载PDF 职称材料

一种集成电路超大规模线网快速分析算法 被引量：1

2

作者 竺红卫 严晓浪 《微电子学》 CAS CSCD 北大核心 2003年第1期33-36,共4页

　随着芯片集成度的提高和规模的增大,连线效应已成为影响电路性能的主要因素。对于分析、验证电路线网问题,直接利用常规线性方程组求解算法无法同时满足内存空间与运行时间上的限制。文章分析了Cholesky分解法的网络模型,提出了一种... 　随着芯片集成度的提高和规模的增大,连线效应已成为影响电路性能的主要因素。对于分析、验证电路线网问题,直接利用常规线性方程组求解算法无法同时满足内存空间与运行时间上的限制。文章分析了Cholesky分解法的网络模型,提出了一种网络层次式矩阵压缩方法,实现了快速线网分析和验证运算。 展开更多

关键词 集成电路 互连线 线网效应 线性方程组 CHOLESKY分解 网络模型 网络层次式矩降压缩方法

下载PDF 职称材料

设计规则驱动的多层布线算法 被引量：2

3

作者 竺红卫 《微电子学与计算机》 CSCD 北大核心 2005年第10期30-33,共4页

迷宫算法是集成电路两端线网优化布线问题的经典算法。多层布线受复杂版图设计规则约束,简单直接应用迷宫布线算法,或者无法获得优化的结果,或者无法满足设计规则。文章分析了迷宫算法特性与局限,提出基于群组图的多层迷宫算法,圆满地... 迷宫算法是集成电路两端线网优化布线问题的经典算法。多层布线受复杂版图设计规则约束,简单直接应用迷宫布线算法,或者无法获得优化的结果,或者无法满足设计规则。文章分析了迷宫算法特性与局限,提出基于群组图的多层迷宫算法,圆满地解决了上述问题。 展开更多

关键词 多层布线 设计规则 迷宫算法

下载PDF 职称材料

用于快速P/G网分析的Cholesky分解法图模型

4

作者 竺红卫 马琪 +1 位作者 李春强 严晓浪 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1080-1084,共5页

通过对Cholesky分解法求解线性方程组的分析 ,建立Cholesky分解法三角化对称正定阵的图模型 ,并基于该模型及Mesh结构P/G网络的自身特点 ,提出一个P/G网快速分析算法 实验证明 。

关键词 P/G网分析 Cholesky分解法 MESH结构 对称正定阵

下载PDF 职称材料

优化层分配的无网格详细布线算法

5

作者 竺红卫 卢永江 严晓浪 《微电子学与计算机》 CSCD 北大核心 2003年第5期45-48,共4页

H-V布线模式下产生通孔的根本原因是由于不同线网间存在几何重叠或交叉;标准单元内布线主要应用多晶硅层与单金属层的布线层资源,考虑到不同层间相异的导电特性,文章提出了一种算法,基于网段拓扑交叉分析实现最大化金属层及最小化多晶... H-V布线模式下产生通孔的根本原因是由于不同线网间存在几何重叠或交叉;标准单元内布线主要应用多晶硅层与单金属层的布线层资源,考虑到不同层间相异的导电特性,文章提出了一种算法,基于网段拓扑交叉分析实现最大化金属层及最小化多晶层分配,优化线网通道分配与线长,同时满足通孔最小化。 展开更多

关键词 优化层分配 无网格详细布线算法 电路布线 导电特性 VLSI 超大规模集成电路

下载PDF 职称材料

Mesh结构P/G布线网络层次化快速分析方法

6

作者 竺红卫 马琪 严晓浪 《电路与系统学报》 CSCD 2004年第6期34-39,共6页

本文提出了一个基于网络划分的P/G布线网络层次化快速分析方法。其中,对于子网运算,通过对Cholesky分解法三角化对称正定阵的图模型分析,并基于Mesh结构网络的自身特点,提出了一个基于图顶点排序的加速子网分析运算策略;并用基于MPI的... 本文提出了一个基于网络划分的P/G布线网络层次化快速分析方法。其中,对于子网运算,通过对Cholesky分解法三角化对称正定阵的图模型分析,并基于Mesh结构网络的自身特点,提出了一个基于图顶点排序的加速子网分析运算策略;并用基于MPI的并行结构实现了P/G布线网络分析的并行运算。 展开更多

关键词 MESH结构 PIG网分析 Cholesky分解法 并行运算

下载PDF 职称材料

对智能卡进行微分功耗分析攻击的方法研究 被引量：3

7

作者 谢满德 沈海斌 竺红卫 《微电子学》 CAS CSCD 北大核心 2004年第6期609-613,共5页

　详细阐述了对通用密码系统实施微分功耗分析攻击(DPA)的理论基础和对DES算法攻击的特定理论,并提出了对DPA的改进算法。在分析功耗信号的噪声特点以后,提出了一个信噪比(SNR)的建模方法和相应理论的证明。最后,给出了算法的一个实验... 　详细阐述了对通用密码系统实施微分功耗分析攻击(DPA)的理论基础和对DES算法攻击的特定理论,并提出了对DPA的改进算法。在分析功耗信号的噪声特点以后,提出了一个信噪比(SNR)的建模方法和相应理论的证明。最后,给出了算法的一个实验结果。 展开更多

关键词 微分功耗分析 智能卡 DES算法 信噪比 分割函数

下载PDF 职称材料

利用改善的静态隐含策略加速等价性验证 被引量：3

8

作者 卢永江 竺红卫 +1 位作者 严晓浪 葛海通 《电路与系统学报》 CSCD 北大核心 2005年第3期47-51,共5页

随着近年来高效SAT(Satisfiability)求解算法提出,SAT已成为集成电路形式验证方法中重要引擎之一。但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述,丢失了电路的拓扑信息。本文利用改善的静态隐含策略来提取有用子句作为预处... 随着近年来高效SAT(Satisfiability)求解算法提出,SAT已成为集成电路形式验证方法中重要引擎之一。但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述,丢失了电路的拓扑信息。本文利用改善的静态隐含策略来提取有用子句作为预处理,来加快验证过程。本文算法在原有静态隐含技术的基础上,引入了关联节点隐含及隐含过程加速策略。给出的ISCAS85电路的实验结果表明算法的有效性。 展开更多

关键词 SAT 静态隐含 关联节点隐含 加速策略

下载PDF 职称材料

一种基于晶体管逻辑状态的电路简化方法 被引量：1

9

作者 李训根 罗小华 +1 位作者 竺红卫 严晓浪 《电路与系统学报》 CSCD 北大核心 2006年第3期80-82,87,共4页

本文提出了一种存储器(Memory)逻辑参数提取的电路简化新方法。该方法通过判断在输入特定激励向量时晶体管的逻辑状态是否改变来简化电路,研究表明新方法能大幅度减少电路中晶体管的数量,同时能很好地保持电路原有的功能特性和电气特性... 本文提出了一种存储器(Memory)逻辑参数提取的电路简化新方法。该方法通过判断在输入特定激励向量时晶体管的逻辑状态是否改变来简化电路,研究表明新方法能大幅度减少电路中晶体管的数量,同时能很好地保持电路原有的功能特性和电气特性。基于此方法测得的逻辑参数有较好的精度,并大大加快了提取速度。实验结果表明该方法是有效的。 展开更多

关键词 存储器 逻辑参数 电路简化

下载PDF 职称材料

时序电路等价验证的触发器匹配 被引量：1

10

作者 张超 竺红卫 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页

通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔... 通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。 展开更多

关键词 触发器匹配 自动测试模式生成模型 布尔可满足性 时序帧递进展开 信息学习

下载PDF 职称材料

基于TDR的故障电弧定位技术研究 被引量：4

11

作者 王一闻 竺红卫 《电器与能效管理技术》 2016年第21期1-4,共4页

提出了一种基于TDR(时域反射)的故障电弧定位方法,设计了试验系统,并对设计原理、系统结构进行了说明。系统应用时间间隔测量技术构建了高精度的计时模块,具有较高的定位速度和精度,可以在故障电弧发生后定位出线缆故障点的位置。

关键词 故障电弧 定位 时域反射(TDR) 时间间隔测量

下载PDF 职称材料

结合AIG和两变量观测策略的SAT满足性算法

12

作者 张超 竺红卫 马琪 《电路与系统学报》 北大核心 2013年第1期42-46,共5页

现今,布尔可满足性(SAT)解算器已在工业电路验证过程中得到了广泛的应用。大多数SAT解算器是基于DPLL算法来构造的,需要电路输入形式是合取范式(CNF)的形式。CNF形式的构建会使电路表示正交化,但通常会产生更多的额外变量,同时也会破坏... 现今,布尔可满足性(SAT)解算器已在工业电路验证过程中得到了广泛的应用。大多数SAT解算器是基于DPLL算法来构造的,需要电路输入形式是合取范式(CNF)的形式。CNF形式的构建会使电路表示正交化,但通常会产生更多的额外变量,同时也会破坏电路的原始结构信息,在使用DPLL算法搜索整个变量空间的时候需要大量的时间消耗。本文提出了一些方法来解决这些问题。首先使用与/非门(AIG)来简化待验证电路,然后在基于CNF的两变量观测策略上,结合合取范式CNF和析取范式DNF的图特性来改善DPLL搜索过程,加速布尔约束推导(BCP)的进行。针对ISCAS85电路的验证结果验证了本算法的有效性。 展开更多

关键词 布尔可满足性 与 非图 CNF DNF 两变量观测策略 图特性

下载PDF 职称材料

Mesh-Tree两级层次结构P/G网布线优化方法

13

作者 马琪 竺红卫 严文芳 《电路与系统学报》 CSCD 2004年第6期90-93,共4页

本文采用Mesh-Tree两级层次结构作为P/G网布线拓扑结构,并提出了一个对于该结构的线宽优化方法,使超大型P/G网的布线优化速度大大提高。

关键词 P/G网 布线优化 Mesh-Tree两级层次结构

下载PDF 职称材料

一种Mesh结构P/G网快速分析方法

14

作者 马琪 王利兴 竺红卫 《杭州电子工业学院学报》 2004年第1期25-29,共5页

提出了一个基于网络划分的层次化P/G网快速分析方法。其中,对于子网运算,通过对Cholesky分解法三角化对称正定阵的图模型分析,提出了基于图顶点消去排序的加速子网分析运算策略,并用基于MPI的并行结构实现了P/G网分析的并行运算。

关键词 MESH结构 P/G网 网孔结构 电源/地网分析 Cholesky分解法 并行运算 超大规模集成电路

下载PDF 职称材料

混合基FFT算法运算量分析 被引量：8

15

作者 程志鹏 马琪 竺红卫 《太赫兹科学与电子信息学报》 2016年第6期-,共4页

通过理论推导、定量分析和实验设计的研究方法分析了非2整数次幂点数N的混合基快速傅里叶变换(FFT)算法运算量大小与N分解因子的不同组合方式以及组合次序的关系。实验结果表明,在一定条件下,对于相同FFT点数N的混合基FFT的不同分解因... 通过理论推导、定量分析和实验设计的研究方法分析了非2整数次幂点数N的混合基快速傅里叶变换(FFT)算法运算量大小与N分解因子的不同组合方式以及组合次序的关系。实验结果表明,在一定条件下,对于相同FFT点数N的混合基FFT的不同分解因子组合,其算法运算量与所有分解因子总和K的大小有关,但与因子的组合次序无关。最后提出了建立混合基FFT最小运算量的分解因子匹配库作为使用混合基FFT时的分解因子组合选择参考表的设想。为相关研究和实际应用的工程人员提供一定参考。 展开更多

关键词 混合基快速傅里叶变换(FFT) 频谱扩散 分解因子 计算复杂度

下载PDF 职称材料

一种基于代价敏感学习的故障电弧识别方法 被引量：7

16

作者 殷浩楠 竺红卫 +1 位作者 丁鑫 王一闻 《传感器与微系统》 CSCD 2018年第4期13-16,共4页

为解决故障电弧识别误判断问题,引入了代价敏感学习理论,为不同的分类错误赋予非均等代价;采集典型负载正常状态和故障电弧状态的电流数据,根据信号的时域和频域特性提取特征向量;应用MetaCost方法训练代价敏感的神经网络,作为故障电弧... 为解决故障电弧识别误判断问题,引入了代价敏感学习理论,为不同的分类错误赋予非均等代价;采集典型负载正常状态和故障电弧状态的电流数据,根据信号的时域和频域特性提取特征向量;应用MetaCost方法训练代价敏感的神经网络,作为故障电弧识别模块。实验结果表明:当代价矩阵取值合理时,代价敏感的神经网络能够有效减少误判断。 展开更多

关键词 故障电弧 误判断 代价敏感学习 MetaCost方法

下载PDF 职称材料

基于机器学习方法的直流电弧故障检测 被引量：12

17

作者 丁鑫 竺红卫 +1 位作者 殷浩楠 王一闻 《传感器与微系统》 CSCD 2017年第11期123-127,共5页

为了解决传统分析方法在直流供电系统中电弧故障检测的精确度不足及过程繁琐的问题,将直流电弧故障检测归为二分类问题,引入机器学习方法,通过直流电弧实验得到正常状态和电弧状态的数据,从时域中提取电流均值等4个特征,从频域中提取高... 为了解决传统分析方法在直流供电系统中电弧故障检测的精确度不足及过程繁琐的问题,将直流电弧故障检测归为二分类问题,引入机器学习方法,通过直流电弧实验得到正常状态和电弧状态的数据,从时域中提取电流均值等4个特征,从频域中提取高频分量标准差等3个特征。利用提取到的特征对支持向量机(SVM)进行训练,利用求解得到的模型对测试数据集进行分类,分类准确率为94.483%。结果证明:所提方法能有效检测直流电弧故障,提高故障检测精度,且步骤精简,易于推广。 展开更多

关键词 直流电弧 故障检测 特征提取 机器学习 支持向量机

下载PDF 职称材料

基于CK510和uC/FS的SD卡文件系统的设计 被引量：2

18

作者 徐惜琼 竺红卫 《计算机应用与软件》 CSCD 北大核心 2012年第3期125-127,共3页

针对智能设备数据记录系统中数据容量大和掉电不保护的问题,提出一种在μC/OS-Ⅱ操作系统和uC/FS文件系统下,利用基于国产32位处理器核CK510的MCU芯片而改造的具有日志结构的文件系统。该文件系统通过顺序记录数据以及将管理信息的改写... 针对智能设备数据记录系统中数据容量大和掉电不保护的问题,提出一种在μC/OS-Ⅱ操作系统和uC/FS文件系统下,利用基于国产32位处理器核CK510的MCU芯片而改造的具有日志结构的文件系统。该文件系统通过顺序记录数据以及将管理信息的改写和存储同时进行的方法,有效节省了SD卡的数据存储空间,提高了存储的稳定性。 展开更多

关键词 CK510 uC/FS SD卡

下载PDF 职称材料

组合电路桥接故障诊断的测试生成及优化 被引量：2

19

作者 李蕙 竺红卫 《电路与系统学报》 CSCD 北大核心 2009年第5期1-6,共6页

在利用划分等价类的方法来诊断组合电路中桥接故障的基础上,本文提出了一种基于门特性的IDDQ测试集生成算法及对测试集排序筛选的优化方法。实验结果表明,将此方法应用于组合电路桥接故障的诊断可缩减测试集的大小,提高诊断的故障覆盖率。

关键词 桥接故障 测试生成 敏感输入 测试向量排序

下载PDF 职称材料

软件SIMD的研究及应用 被引量：1

20

作者 卜士喜 竺红卫 《计算机工程》 CAS CSCD 北大核心 2010年第19期53-55,共3页

介绍软件SIMD技术,在不支持SIMD架构的处理器上使用该技术实现寄存器高低字节的并行运算,提高处理器的速度。软件SIMD包括基本的加减法运算、乘法运算和点积运算。在现有研究的基础上,解决包含负数的点积运算、复数运算中应用软件SIMD... 介绍软件SIMD技术,在不支持SIMD架构的处理器上使用该技术实现寄存器高低字节的并行运算,提高处理器的速度。软件SIMD包括基本的加减法运算、乘法运算和点积运算。在现有研究的基础上,解决包含负数的点积运算、复数运算中应用软件SIMD技术的问题,使其能广泛应用于数字信号处理等领域。 展开更多

关键词 单指令多数据流 软件SIMD 并行运算 数字信号处理

下载PDF 职称材料