期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
一种ISPD98电路网表到超图的转换算法 被引量:8
1
作者 冷明 孙凌宇 +1 位作者 郭恺强 朱平 《微电子学与计算机》 CSCD 北大核心 2011年第9期111-114,共4页
以电路测试基准ISPD98的模型用例及对应的超图为例,阐述了ISPD98电路网表文件格式、超图的压缩存储格式和文件存储格式.提出了一种ISPD98电路网表到超图的转换算法.它读取ISPD98电路网表文件数据,将其映射到超图的压缩存储格式,并存储... 以电路测试基准ISPD98的模型用例及对应的超图为例,阐述了ISPD98电路网表文件格式、超图的压缩存储格式和文件存储格式.提出了一种ISPD98电路网表到超图的转换算法.它读取ISPD98电路网表文件数据,将其映射到超图的压缩存储格式,并存储为指定的超图文件存储格式,从而有效地将电路划分问题转换为超图划分优化问题.实验表明,该转换算法能正确地将ISPD98电路网表转换为超图的文件存储格式,有效地避免了直接在ISPD98电路网表上进行划分,提高了电路划分的效率. 展开更多
关键词 电路网表 超图 转换 电路测试基准
下载PDF
无回溯并行多路径搜索测试向量生成算法 被引量:3
2
作者 黄越 于宗光 万书芹 《计算机应用》 CSCD 北大核心 2010年第5期1390-1393,共4页
无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明... 无回溯并行多路径搜索算法(NBMP)在生成测试向量过程中生成基于原始输入端奇异立方和与原始输出端关联的传输立方,并利用生成的奇异立方和传输立方生成测试向量。算法在实现过程采用无须回溯和多路径探索策略。通过分析和实验结果证明算法时间复杂度近似为线性。算法对ISCAS85基准电路中规模最大的8个电路进行实验,将实验结果与传统算法进行比较,结果表明NBMP算法故障覆盖率优于传统算法。 展开更多
关键词 数字电路 基准电路 测试向量生成 故障覆盖率 多路径
下载PDF
单节锂离子电池保护电路的改进 被引量:8
3
作者 邹雪城 李育超 +1 位作者 姜娟 郭振宗 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第7期54-57,共4页
提出了一种低成本的单节锂电池保护回路系统,采用0.6μm混合信号CMOS工艺和修调技术使芯片具有低功耗、高精度检测电压等特点.通过基准电路和取样电路设计的改进,使保护电路实现了多种保护功能,并且具有很高的检测电压精度.模拟结果表明... 提出了一种低成本的单节锂电池保护回路系统,采用0.6μm混合信号CMOS工艺和修调技术使芯片具有低功耗、高精度检测电压等特点.通过基准电路和取样电路设计的改进,使保护电路实现了多种保护功能,并且具有很高的检测电压精度.模拟结果表明,该电路在温度为25℃时过充电保护电压的检测精度达到了±25 mV,耗电流仅为3.5μA,满足高精度检测电压的要求. 展开更多
关键词 锂离子电池 高精度 修调技术 基准电路 采样电路
下载PDF
基于增量可满足性的等价性检验方法 被引量:7
4
作者 李光辉 李晓维 《计算机学报》 EI CSCD 北大核心 2004年第10期1388-1394,共7页
组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取... 组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取范式公式 ,避免了误判的发生 ,又能缩小验证程序的搜索空间 .针对ISCAS’85电路的实验结果表明 ,该文提出的方法比以往同类方法更快、更强健 . 展开更多
关键词 增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点
下载PDF
一种与2D物理设计流程兼容的3D测试基准电路的生成系统 被引量:2
5
作者 侯立刚 杨扬 +2 位作者 叶彤旸 彭晓宏 耿淑琴 《现代电子技术》 北大核心 2017年第24期5-8,共4页
提出一种与2D物理设计流程兼容的3D测试基准电路生成系统,并以IBM-PLACE测试基准电路为测试试例做了转换实验,提供一套3D测试基准电路。通过此系统,可以根据输入文件的不同,自动转换为对应的Bookshelf库文件或者DEF库文件,实现物理设计... 提出一种与2D物理设计流程兼容的3D测试基准电路生成系统,并以IBM-PLACE测试基准电路为测试试例做了转换实验,提供一套3D测试基准电路。通过此系统,可以根据输入文件的不同,自动转换为对应的Bookshelf库文件或者DEF库文件,实现物理设计库中的电路的互联线网连接信息,标准单元尺寸、端口信息,标准单元坐标信息以及布局信息自动转换。可以将任意2D电路设计转换为3D测试基准电路,并且兼容2D集成电路的物理设计流程,可在传统物理设计EDA工具中布局布线。最终,可以实现自定制的3D测试基准电路。 展开更多
关键词 DEF库 Bookshelf库 测试基准电路 自定制 3D集成电路
下载PDF
基于遗传算法的最大开启电流估计 被引量:2
6
作者 徐勇军 韩银和 +1 位作者 骆祖莹 李晓维 《计算机学报》 EI CSCD 北大核心 2004年第2期186-191,共6页
集成电路设计进入深亚微米阶段后 ,静态功耗成为低功耗设计中的一个瓶颈 .电源门控法可以同时有效地降低动态功耗和静态功耗 ,是一项具有广阔应用前景的技术 .电源门控电路的最大电流是由最大开启电流和最大的正常运行电流决定 ,它是电... 集成电路设计进入深亚微米阶段后 ,静态功耗成为低功耗设计中的一个瓶颈 .电源门控法可以同时有效地降低动态功耗和静态功耗 ,是一项具有广阔应用前景的技术 .电源门控电路的最大电流是由最大开启电流和最大的正常运行电流决定 ,它是电路设计的一个十分重要的参数 ,如何对它进行快速准确的估计已经成为一个新的问题 .另外 ,冒险功耗是电路整体功耗中非常重要的组成部分 ,该文通过研究发现 ,在电路开启阶段同样存在冒险 ,同时消耗了大量的能量 .文章考虑了组合电路的冒险现象 ,提出了一种基于遗传算法的最大开启电流的估计方法 ,对ISCAS85电路的实验结果表明 ,电源门控电路的开启最大功耗可能比正常情况下的最大功耗还要大 .该文的方法具有较小的复杂性 ,可以仅用随机模拟的 2 .77%的时间 ,获得 12 .90 展开更多
关键词 遗传算法 电路设计 集成电路 静态功耗 电源门控法 最大开启电流
下载PDF
定子回路电阻对次同步谐振的影响 被引量:1
7
作者 张磊 赵大伟 +2 位作者 朱凌志 商振 葛路明 《电机与控制学报》 EI CSCD 北大核心 2012年第9期9-13,共5页
为了深入讨论定子回路电阻对电气阻尼的影响,采用解析与仿真相结合对其进行研究。推导了系统在受到小扰动时发电机电磁转矩的增量,并将其中与定子回路电阻相关的部分分解成同步转矩分量与阻尼转矩分量之和,然后结合IEEE次同步谐振第一... 为了深入讨论定子回路电阻对电气阻尼的影响,采用解析与仿真相结合对其进行研究。推导了系统在受到小扰动时发电机电磁转矩的增量,并将其中与定子回路电阻相关的部分分解成同步转矩分量与阻尼转矩分量之和,然后结合IEEE次同步谐振第一标准模型参数,对同步电机及与定子回路电阻相关的阻尼转矩系数进行讨论,得出定子回路电阻与阻尼转矩系数之间的关系。结果表明:当定子回路电阻减小时,系统电气阻尼将减小,机组各轴段间的扭振加剧,有些轴段间的振荡甚至由收敛变为发散。因此,在次同步谐振研究过程中,需谨慎处理发电机定子回路中各元件的电阻,否则会使得分析结果与实际偏差较大,甚至得到错误的结论。仿真结果与解析法所得结论一致。 展开更多
关键词 次同步谐振 电气阻尼 阻尼转矩系数 定子回路电阻 IEEE次同步谐振第一标准模型
下载PDF
一种ISPD98电路网表到图的转换算法 被引量:1
8
作者 孙凌宇 冷明 彭宣戈 《井冈山大学学报(自然科学版)》 2008年第2期19-21,共2页
介绍了ISPD98电路网表格式和图文件存储格式,然后针对ISPD98电路网表给出了转换到图的算法。该算法解决正确读取ISPD98电路网表文件数据,将其转换为图并存储为指定的图文件存储格式。该算法在Windows平台下用C++进行了实现,并给出了ISP... 介绍了ISPD98电路网表格式和图文件存储格式,然后针对ISPD98电路网表给出了转换到图的算法。该算法解决正确读取ISPD98电路网表文件数据,将其转换为图并存储为指定的图文件存储格式。该算法在Windows平台下用C++进行了实现,并给出了ISPD98电路网表转换后图的特性。 展开更多
关键词 电路网表 转换 电路测试基准
下载PDF
电路划分算法改进
9
作者 南国芳 李敏强 寇纪淞 《电子测量技术》 2006年第1期24-25,共2页
为提高电路划分的质量,对KL电路划分算法运行的终止条件进行改进,给出相关的公式推导过程,使得算法找到同样的解节省1/2的程序运行时间。
关键词 电路划分 标竿电路 NP-难题 连接增益
下载PDF
CMOS VLSI电路最大功耗估计 被引量:1
10
作者 卢君明 林争辉 《电子学报》 EI CAS CSCD 北大核心 2001年第5期630-633,共4页
最大功耗分析对于设计高可靠性的VLSI芯片是非常重要的 .由于电路功耗强依赖于其输入模式 ,对有大量管脚的CMOS组合或时序电路 ,不能采用穷举搜索 .本文用遗传算法来选择具有高功耗的输入及内部状态模型 ,在逻辑仿真基础上实现CMOS电路... 最大功耗分析对于设计高可靠性的VLSI芯片是非常重要的 .由于电路功耗强依赖于其输入模式 ,对有大量管脚的CMOS组合或时序电路 ,不能采用穷举搜索 .本文用遗传算法来选择具有高功耗的输入及内部状态模型 ,在逻辑仿真基础上实现CMOS电路的最大功耗估算 .同时用逻辑仿真的统计方法来衡量获得最大功耗的质量 .基于ISCAS85和ISCAS89基准电路的仿真表明 ,新方法在大规模门数时具有明显的优势 ,估算精度较高 .而且新方法的计算时间基本上是电路逻辑门的线性关系 . 展开更多
关键词 CMOS 最大功耗估计 VLSI 集成电路
下载PDF
基于带路径布尔函数的电路冗余识别
11
作者 黄越 柴志雷 须文波 《计算机应用》 CSCD 北大核心 2011年第A02期216-221,共6页
带路径布尔函数的电路冗余识别算法(RDIBP)能够发现数字电路中的冗余故障。提出了基于SOP表达式形式的带中间节点信息的布尔函数表示方法,并为了便于发现冗余故障改进了传统的布尔函数化简方法。根据测试电路节点相关性将其分组以提高... 带路径布尔函数的电路冗余识别算法(RDIBP)能够发现数字电路中的冗余故障。提出了基于SOP表达式形式的带中间节点信息的布尔函数表示方法,并为了便于发现冗余故障改进了传统的布尔函数化简方法。根据测试电路节点相关性将其分组以提高算法效率防止内存爆炸,通过调整控制参数确保算法在合理的时间内完成。算法对ISCAS85、ISCAS89和ITC99基准电路进行实验,且与其他算法结果进行了比较和分析。 展开更多
关键词 冗余识别 布尔函数 基准电路 SOP表达式 分组
下载PDF
系统芯片测试调度模型及其调度算法
12
作者 陈新武 牟光臣 柳青梅 《信阳师范学院学报(自然科学版)》 CAS 北大核心 2008年第2期294-296,300,共4页
系统芯片的设计是基于IP核的设计,整个芯片的测试包括各个IP核和粘合逻辑的测试.根据测试基准模型ITC02建立了系统芯片测试调度模型,该模型假定系统芯片的每个模块有若干个可供选择的测试资源,已知使用每个测试资源所完成该测试的时间... 系统芯片的设计是基于IP核的设计,整个芯片的测试包括各个IP核和粘合逻辑的测试.根据测试基准模型ITC02建立了系统芯片测试调度模型,该模型假定系统芯片的每个模块有若干个可供选择的测试资源,已知使用每个测试资源所完成该测试的时间和功耗.在最大功耗约束下,提出了一种通用的测试调度算法,并针对构造的基准电路,给出了该调度算法的实现结果. 展开更多
关键词 系统芯片 调度算法 测试资源 IP核 ITC02测试基准电路
下载PDF
塔康信标基准下垂的补偿与性能改善研究
13
作者 杨法红 章小梅 姜茂仁 《航天控制》 CSCD 北大核心 2009年第3期97-101,共5页
为了改善塔康信标"基准下垂"现象对系统性能的影响,从分析基准下垂产生的原因入手,研究了基准下垂的信号特征,通过将相对下垂信息变换为脉冲宽度信息,再将脉宽积分为直流补偿信号,加至基准下垂电路的补偿级,实现了对下垂信号... 为了改善塔康信标"基准下垂"现象对系统性能的影响,从分析基准下垂产生的原因入手,研究了基准下垂的信号特征,通过将相对下垂信息变换为脉冲宽度信息,再将脉宽积分为直流补偿信号,加至基准下垂电路的补偿级,实现了对下垂信号的补偿。并通过MatrixX仿真对这个过程进行了验证,仿真结果表明,该补偿方法能够达到预期的补偿效果,从而保证了塔康系统测位功能的正常发挥,同时降低了寄生调制误差,提高了测位精度。 展开更多
关键词 塔康信标 基准下垂 补偿电路
下载PDF
一种基于多目标遗传算法的CA加权测试生成方法 被引量:7
14
作者 蒋继刚 谈恩民 姚丽婷 《国外电子测量技术》 2010年第4期25-27,31,共4页
本文介绍一种内建自测试总体优化的测试生成方法,首先对细胞自动机的特点进行了介绍,还分析了细胞自动机结构的邻居关系和加权测试序列相关性,最后本文用多目标遗传算法来设计这种测试生成方法,并应用ISCAS'85基准电路来验证此方法... 本文介绍一种内建自测试总体优化的测试生成方法,首先对细胞自动机的特点进行了介绍,还分析了细胞自动机结构的邻居关系和加权测试序列相关性,最后本文用多目标遗传算法来设计这种测试生成方法,并应用ISCAS'85基准电路来验证此方法。通过对具体例子的各项指标比较,说明了这种内建自测试总体优化的测试生成方法比传统的测试方法具有优越性。 展开更多
关键词 伪随机发生器 细胞自动机 加权 多目标遗传算法 ISCAS'85 基准电路
下载PDF
变电站三维交互场景仿真关键技术研究 被引量:60
15
作者 侯俊 李蔚清 林昌年 《电网技术》 EI CSCD 北大核心 2005年第9期70-75,共6页
应用三维图形技术为变电站仿真系统构造虚拟环境能大大提高变电站场景的真实感,为变电站培训仿真工作带来技术飞跃。文章研究了基于三维图形技术的变电站交互场景仿真的关键技术,给出了基于电气连接特性构造虚拟场景树型层次组织的方法... 应用三维图形技术为变电站仿真系统构造虚拟环境能大大提高变电站场景的真实感,为变电站培训仿真工作带来技术飞跃。文章研究了基于三维图形技术的变电站交互场景仿真的关键技术,给出了基于电气连接特性构造虚拟场景树型层次组织的方法,即“以母线为纬、以单元为经、以断路器为基准,按电气接线顺序排列”;提出了基于特征的实时层次细节模型生成方法和基于虚拟漫游上下文情景的碰撞检测加速算法,并已成功应用于变电站虚拟现实仿真系统中。 展开更多
关键词 关键技术研究 三维交互 三维图形技术 层次细节模型 变电站仿真 虚拟环境 系统构造 培训仿真 虚拟场景 连接特性 电气接线 加速算法 碰撞检测 虚拟漫游 生成方法 基于特征 仿真系统 虚拟现实 真实感 工作带 断路器 上下文
下载PDF
面向层次结构的中国集成电路企业特征识别与发展研究
16
作者 赵希男 陈俊领 郭宝荣 《科技管理研究》 CSSCI 北大核心 2022年第11期183-191,共9页
为发展我国集成电路企业,通过选择标杆企业进行有效激励,同时考虑该类企业具有高技术、重创新的产业特征,采用平衡积分卡技术构建综合评价指标集,以竞优思想为指引,制定分层次结构的评价模型,并选取26家典型上市企业进行应用。研究发现:... 为发展我国集成电路企业,通过选择标杆企业进行有效激励,同时考虑该类企业具有高技术、重创新的产业特征,采用平衡积分卡技术构建综合评价指标集,以竞优思想为指引,制定分层次结构的评价模型,并选取26家典型上市企业进行应用。研究发现:(1)利用平衡计分卡技术设计的评价指标集能够有效地对集成电路企业进行综合评价;(2)制定的评价模型能够有效识别各企业发展优势特征,并识别隐形冠军企业及其发展优势;(3)在尊重各参评个体的差异和优势特征基础上选取优秀企业学习标杆,能使企业标杆管理更为科学。依据研究结论,基于各企业发展特征并结合国内集成电路产业所面临的现实困境,从政府角度如何通过组建企业联盟、政策激励等方面推动我国集成电路企业发展给出管理建议。 展开更多
关键词 集成电路企业 优势特征识别 平衡积分卡 标杆选择 管理建议
下载PDF
超声功率基准装置匹配电路的研究应用
17
作者 吴杰歆 《电子质量》 2011年第5期66-69,共4页
针对超声基准装置量传范围较窄且现存超声功率基准装置电测系统中高频电压表不易溯源等问题,国家质检总局2005年下达对超声功率基准装置技术改造任务,课题组利用压电材料电能转变为机械能的压电效应原理,在旧装置石英材料换能器的基础上... 针对超声基准装置量传范围较窄且现存超声功率基准装置电测系统中高频电压表不易溯源等问题,国家质检总局2005年下达对超声功率基准装置技术改造任务,课题组利用压电材料电能转变为机械能的压电效应原理,在旧装置石英材料换能器的基础上,采用新的单晶材料铌酸锂,制造出新的超声换能器,对超声基准装置的关键部件之一的超声换能器匹配电路进行了改造。改造后的基准装置准确度得到提高,量传范围得以扩展,新换能器和匹配系统一定程度上解决了装置的高频高压溯源问题,确保了基准装置在国际超声功率溯源体系中处于领先位置。 展开更多
关键词 基准装置 超声换能器 匹配电路
下载PDF
直流输电换流阀晶闸管级阻抗测试系统设计 被引量:2
18
作者 刘隆晨 汪万平 +2 位作者 苏明虹 张鹏 唐世雄 《沈阳工业大学学报》 EI CAS 北大核心 2020年第5期488-492,共5页
为了满足高压直流输电换流阀晶闸管级阻尼回路阻抗现场测试的需要,基于STM32F4ZGT6控制器的高精度参考电阻自动切换技术,提出了一种晶闸管级阻抗快速检测方法,并设计了测试系统的高频正弦信号产生模块、高精度基准电阻选择切换模块、电... 为了满足高压直流输电换流阀晶闸管级阻尼回路阻抗现场测试的需要,基于STM32F4ZGT6控制器的高精度参考电阻自动切换技术,提出了一种晶闸管级阻抗快速检测方法,并设计了测试系统的高频正弦信号产生模块、高精度基准电阻选择切换模块、电压信号调理采集模块和STM32控制模块.将晶闸管级阻抗测试系统应用于特高压换流阀晶闸管级的阻抗检测与结果判定.结果表明,阻抗测量误差小于5%,满足现场工程应用需求. 展开更多
关键词 高压直流输电 换流阀 晶闸管级 例行试验 均压阻尼回路 阻抗模值 基准电阻 STM32模块
下载PDF
一种针对电容阵列的低功耗充放电方法——动态基准电平斜波充放电法
19
作者 邱超 张晓兵 雷威 《液晶与显示》 CAS CSCD 北大核心 2007年第6期725-730,共6页
论述了一种用于主动阵列显示(如硅基液晶)的电容阵列充放电电路的降低功耗的方法,我们称之为动态基准电平斜波充放电法。这种方法利用一行电容上电平的分布特性,将一行的电容连通相互充放电,达到静电平衡,得到行平均电容。以行平均电容... 论述了一种用于主动阵列显示(如硅基液晶)的电容阵列充放电电路的降低功耗的方法,我们称之为动态基准电平斜波充放电法。这种方法利用一行电容上电平的分布特性,将一行的电容连通相互充放电,达到静电平衡,得到行平均电容。以行平均电容为基准电平,对输入信号高于行平均电平的像素进行充电,而对输入信号低于行平均电平的像素进行放电,使之达到输入信号的电平。经过计算,这种方法与一般的斜波充放电方法相比可以降低70%以上的电容充放电损耗。在头盔显示器中,由于对功耗有严格的限制,因此在头盔系统的硅基液晶显示器中采用本文所讨论的驱动方法,对于降低功耗、提高系统集成度具有重要意义。 展开更多
关键词 主动矩阵显示 电容阵列充放电 低功耗设计 动态基准电平斜波充放电
下载PDF
System-on-Chip Test Data Compression Based on Split-Data Variable Length (SDV) Code
20
作者 J. Robert Theivadas V. Ranganathan J. Raja Paul Perinbam 《Circuits and Systems》 2016年第8期1213-1223,共11页
System-on-a-chips with intellectual property cores need a large volume of data for testing. The large volume of test data requires a large testing time and test data memory. Therefore new techniques are needed to opti... System-on-a-chips with intellectual property cores need a large volume of data for testing. The large volume of test data requires a large testing time and test data memory. Therefore new techniques are needed to optimize the test data volume, decrease the testing time, and conquer the ATE memory limitation for SOC designs. This paper presents a new compression method of testing for intellectual property core-based system-on-chip. The proposed method is based on new split- data variable length (SDV) codes that are designed using the split-options along with identification bits in a string of test data. This paper analyses the reduction of test data volume, testing time, run time, size of memory required in ATE and improvement of compression ratio. Experimental results for ISCAS 85 and ISCAS 89 Benchmark circuits show that SDV codes outperform other compression methods with the best compression ratio for test data compression. The decompression architecture for SDV codes is also presented for decoding the implementations of compressed bits. The proposed scheme shows that SDV codes are accessible to any of the variations in the input test data stream. 展开更多
关键词 Test Data Compression SDV Codes SOC ATE benchmark circuits
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部