冯刚 作品数:22 被引量:27 H指数:4 供职机构: 哈尔滨工程大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 黑龙江省自然科学基金 重庆市教育委员会科学技术研究项目 更多>> 相关领域: 自动化与计算机技术 电子电信 经济管理 更多>>
基于布尔过程论的层次化延时分析方法 被引量:6 2001年 芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础 ,提出了波形多项式偏导的概念 ,并用之重新定义了敏化 .用偏导定义的敏化改进了解析延时模型 ,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型 ,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法 .最后用实验验证了文中提出的延时分析方法的有效性 . 杜振军 马光胜 冯刚关键词:系统芯片 数字电路 考虑串扰因素的可逆电路的符号综合方法 被引量:6 2008年 目前存在的可逆电路综合方法大多只适用于输入输出相对较小的电路,而且忽略了路径延时的影响,无法应对集成电路日益复杂的趋势.为了使综合方法能够适用于大规模可逆电路,本文采用矩阵模型和符号代数作为理论基础,提出了一种符号综合方法,在考虑面积、延时、串扰等约束下利用成本函数来指导综合过程.实验结果表明利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了10.3%的改善,其路径延时要减少5%到20%之多,并且从CPU时间和存储开销上都显示出该算法的优势,有能力在有效的时间内实现大规模可逆电路的综合. 胡靖 马光胜 李东海 冯刚关键词:逻辑综合 延时 串扰 芯片详细布线关键路径上的动态串扰优化 2015年 将相邻平行线网间的信号跳变方式和频率作为影响因素,定义了线网间的动态串扰。基于此,分析了关键路径上的动态信号串扰,并提出一种可以获得最小串扰布线方案的布线调整方法。它使得对关键路径上的线网(NOCP)带来较多串扰的线网能够远离关键路径;同时,使得对NOCP几乎没有串扰的线网能够接近关键路径。通过求解NOCP与其靠近和分离集合中的线网间的距离和目标函数,可获得关键路径上串扰最小的布线方案。仿真实验表明,该方法比传统的方法在串扰次数上平均减少了21.76%。 蔡冬玲 冯刚串扰最小化的网格模式下的双层通道布线 2004年 超深亚微米 IC设计中互连线的串扰情况与详细布线方案和信号波形密切相关 .基于这一事实 ,在网格模式下的通道布线算法中建立了最小化串扰的目标函数 ,提出获得最小化串扰布线方案的方法 .与以往算法不同的是 ,本方法将相邻平行线间信号跳变的方式和频度作为目标函数中的影响因子 ,可以更准确地估计出布线区内串扰总和的大小 .并且通过构造布线生成树的方法求得精简的布线方案 。 冯刚 马光胜 杜振军关键词:通道布线 串扰 耦合电容 考虑噪声效应的VDSM延时测试生成方法 2003年 为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合,提出了一种基于布尔过程论的能产生最大噪声效应的敏化测试波形生成方法.实验表明,本文提出的方法可以应用在复杂电路的延时故障测试中,有较好的推广价值. 杜振军 马光胜 冯刚信号相关的串扰优化详细布线 被引量:3 2005年 针对超深亚微米IC布线设计中的串扰问题,提出基于改进遗传算法的串扰优化的详细布线方法 该方法同时考虑了产生串扰的动态和静态的因素,能够更加准确地反映线间串扰的情况,为布线的调整提供更大的余地 实验证明,该方法不但比现有的方法能更好地减少线间串扰。 冯刚 马光胜 杜振军关键词:遗传算法 基于PSA的高级测试综合 2007年 提出了一种基于PSA(多项式符号代数)的高级测试综合方法。首先得到基于多项式符号代数的电路描述,然后通过可测性插入技术,得到电路的可测结构表示;通过可测性分析,提出一种基于多项式符号代数的集成的调度和分配方法,直至获得最终的电路网表。该算法可以减少测试时间和硬件消耗,而且故障的覆盖率也得到提高。实验结果证实了该方法的有效性。 王冠军 周涛 冯刚可逆电路的符号综合方法 被引量:1 2009年 描述一种基于矩阵模型和符号代数理论的可逆电路的综合方法,其中考虑到面积、时延、串扰等约束.实验结果已清楚地表明了利用这种启发式算法与现有的综合方法相比,在面积上所得结果近似,而总串扰得到了明显的改善,并且其路径时延要减少5%到20%之多.这种综合方法大大的改善了电路的性能,并且对输入输出较多的可逆电路的综合具有潜在的优势. 胡靖 马光胜 李东海 冯刚关键词:逻辑综合 时延 串扰 基于Boole过程的并行逻辑模拟算法 被引量:5 2001年 在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法 .该算法免除了以往耗时很多的电路划分过程 ,在一定程度上提高了并行加速比 . 冯刚 马光胜 杜振军关键词:加速比 基于多项式符号运算的时钟周期确定新方法 被引量:1 2006年 采用多项式符号代数理论建立了包含时序元件的整个同步时序电路的统一多项式符号描述形式,并采用WGL(weighted general lists)模型进行多项式的符号运算.在时序电路统一多项式描述和及其WGL运算的基础上,通过对有限状态机的简化比较,提出一种完全考虑周期的时序特性的时钟周期确定算法.该方法打破了传统上认为时钟周期要不小于实际传输延迟的认识;通过对多种现有方法的实验比较,该方法可以在不增加计算复杂度的情况下比现有方法找到更精确的时钟周期;实验还表明电路正常工作的时钟周期可以在不使用流水的情况下比实际传输延迟小很多. 马光胜 杜振军 冯刚关键词:时钟周期 多项式