冯刚

作品数：21被引量：20H指数：3
导出分析报告
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文主题：串扰耦合电容逻辑综合时延延时更多>>
发文领域：自动化与计算机技术电子电信经济管理更多>>
发文期刊：《计算机研究与发展》《计算机工程》《Journal of Semiconductors》《微电子学》更多>>
所获基金：国家自然科学基金黑龙江省自然科学基金重庆市教育委员会科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
芯片详细布线关键路径上的动态串扰优化
《计算机应用研究》2015年第12期3685-3687,共3页蔡冬玲 冯刚 
国家自然科学基金资助项目(61100005);重庆市教委科学技术研究项目(KJ1405101)
将相邻平行线网间的信号跳变方式和频率作为影响因素,定义了线网间的动态串扰。基于此,分析了关键路径上的动态信号串扰,并提出一种可以获得最小串扰布线方案的布线调整方法。它使得对关键路径上的线网(NOCP)带来较多串扰的线网能够远...
关键词：详细布线 动态串扰 关键路径 分离集合 靠近集合 多重相关 
可逆电路的符号综合方法被引量：1
《小型微型计算机系统》2009年第6期1214-1219,共6页胡靖 马光胜 李东海 冯刚 
国家自然科学基金项目(60273081)资助
描述一种基于矩阵模型和符号代数理论的可逆电路的综合方法,其中考虑到面积、时延、串扰等约束.实验结果已清楚地表明了利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了明显的改善,并且其路径时延要减少5%...
关键词：逻辑综合 可逆电路 时延 串扰 
考虑串扰因素的可逆电路的符号综合方法被引量：4
《电子学报》2008年第5期1029-1034,共6页胡靖 马光胜 李东海 冯刚 
国家自然科学基金(No.60273081)
目前存在的可逆电路综合方法大多只适用于输入输出相对较小的电路,而且忽略了路径延时的影响,无法应对集成电路日益复杂的趋势.为了使综合方法能够适用于大规模可逆电路,本文采用矩阵模型和符号代数作为理论基础,提出了一种符号综合方法...
关键词：逻辑综合 可逆电路 延时 串扰 
基于相关系数-海森矩阵的漏功耗分析
《计算机辅助设计与图形学学报》2008年第5期598-604,共7页胡靖 马光胜 李东海 冯刚 
国家自然科学基金(60273081)
随着超大规模集成电路设计复杂度日益增加,工艺参数变动对电路性能(如速度和功耗)的影响越来越大.文中建立了一个层次化电路时延和漏功耗分析模型;将海森矩阵的概念引入到二次模型中,并建立改进的二次模型;将电路的时延和漏功耗的对数...
关键词：漏功耗 时延 层次化方差分析 参数约简 
应用吴方法进行高层次定界模型检验
《计算机辅助设计与图形学学报》2008年第2期137-143,共7页杨志 马光胜 冯刚 邵晶波 
国家自然科学基金(60273081)
以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法·通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题·实验结果表明,与基于布尔SAT、基于LP...
关键词：高层次设计 定界模型检验 吴方法 形式验证 
VLSI设计中容性交叉耦合对时序分析的影响
《小型微型计算机系统》2007年第11期2062-2065,共4页刘晓晓 刘庆江 马光胜 冯刚 
国家自然科学基金项目(60273081)资助.
互连线间的容性交叉耦合已成为影响线路延迟的一个重要因素,因此本文将阶层设计中有意义的层次结构考虑到电路时序分析中,在存在静态敏化和动态敏化交叉耦合的电路中提出了局部伪交叉耦合和全局伪交叉耦合的概念,给出了一种利用模块间...
关键词：时序验证 交叉耦合 耦合电容 层次设计 
基于PSA的高级测试综合
《微电子学》2007年第4期470-473,共4页王冠军 周涛 冯刚 
黑龙江省自然科学基金资助项目(B2004-08);黑龙江省科技公关计划资助项目(GC05A421)
提出了一种基于PSA(多项式符号代数)的高级测试综合方法。首先得到基于多项式符号代数的电路描述,然后通过可测性插入技术,得到电路的可测结构表示;通过可测性分析,提出一种基于多项式符号代数的集成的调度和分配方法,直至获得最终的电...
关键词：多项式符号代数 高级测试综合 高级综合 数字系统测试 
一种新颖的全方位多扫描设计的测试压缩方法
《微电子学》2007年第4期494-498,503,共6页邵晶波 马光胜 冯刚 
国家自然科学基金资助项目"基于多项式符号代数的系统芯片DA新方法研究"(60273081)
提出了一种基于展开宽度可调的解压缩技术和X-压缩的多扫描电路的测试压缩方法。采用可变宽度的扫描链解压缩方法,对测试输入进行解压缩,且对于测试响应,结合了X-压缩的优点,测试响应整合器最小化故障被屏蔽的概率,扫描链的结构采取广...
关键词：测试压缩 解压缩器 多输入签名寄存器 扫描树 不确定值 
基于WGLs的字级描述的形式验证
《哈尔滨工程大学学报》2007年第5期548-552,共5页马光胜 焦金良 冯刚 王冠军 
国家自然科学基金资助项目(60273081);哈尔滨工程大学基础研究基金资助项目(04088)
在电路的设计过程中,形式验证已经成为重要的步骤.为提高设计的正确性,对高层次硬件描述语言(HDL)如VHDL的验证变得更加重要.文章给出的一个完整的数据通路操作的指令集能够在基于WGLs(weighted generalized lists)模型下进行形式验证...
关键词：符号多项式操作 形式验证 WGLs 
互连线间容性交叉耦合对时序分析的影响
《微电子学》2006年第6期693-696,共4页刘晓晓 马光胜 冯刚 王冠军 
国家自然科学基金"基于多项式符号代数的系统芯片DA新方法研究"资助项目(60273081)
集成电路的性能越来越受到互连线间寄生效应的影响,特别是引起互连线跳变模式相关延迟的容性交叉耦合已成为影响线路延迟的一个重要因素。为了提高分层的时序分析方法的准确性,文章引入了局部伪交叉耦合和全局伪交叉耦合的概念,提出了...
关键词：时序验证 交叉耦合 耦合电容 层次设计 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部