葛海通
- 作品数：93 被引量：146H指数：6
- 供职机构：浙江大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划浙江省自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术自然科学总论一般工业技术更多>>
- 结合通用割集和专用割集的组合电路验证方法被引量：2
- 2006年
- 为了提高组合电路的等价性验证速度,提出了一种利用电路内部等价信息的新型验证方法.该方法结合了通用割集和专用割集.从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性.从特定候选等价点进行回溯得到专用割集,通过消除高层次结点间的依赖关系对专用割集进行优化,用专用割集验证特定候选等价点的等价性.实验结果表明,与传统依赖性处理策略相比,该验证方法中的依赖性处理策略减少了验证时间.与只基于通用割集或专用割集的验证方法相比,该方法可以使组合电路的验证速度明显提高.
- 杨军郑飞君卢永江葛海通严晓浪
- 超大规模集成电路无网格布线算法研究被引量：6
- 2002年
- 本文提出一种高性能超大规模集成电路无网格布线算法。对于给定的布线平面,算法首先生成该布线平面的非均匀网格图,然后以绕障长度为布线参数,采用优化迷宫算法完成具体的布线过程。算法保证能够找到存在的最短布线路径,并能进行变线宽、变线距布线,布线速度很快,效果很好。
- 王书江葛海通严晓浪
- 关键词：超大规模集成电路
- 基于解码缓冲器的循环指令处理装置
- 一种基于解码缓冲器的循环指令处理装置，包括：自循环缓冲器，用以连接于流水线指令解码单元的输出端，缓存指令经过解码之后产生的指令解码信息；数据选择器，用以连接于自循环缓冲器输出端，从自循环缓冲器中的顺序指令解码信息分区和循...
- 陈晨孟建熠严晓浪葛海通
- 文献传递
- 降低函数调用分支别名的神经网络预测器被引量：1
- 2010年
- 通过对程序调用过程中分支预测空间特性的分析,发现传统神经网络算法在不同函数调用相同子函数时容易出现别名效应,进而提出了一种基于子函数权重索引离散的神经网络分支预测器。该预测器通过调用信息堆栈记录函数调用中的父函数的路径信息,并用该信息离散子函数权重索引,有效降低了由于不同父函数调用相同子函数造成的别名效应。实验结果显示,基于该方法的神经网络分支预测器的预测错误率降低1%～10%。
- 沙子岩孟建熠严晓浪葛海通
- 关键词：神经网络
- H.264整数变换加速的装置
- 一种H.264整数变换加速的装置，包括与数据总线连接的数据存储器，还包括：矢量运算工作寄存器组，用于接收数据存储器的原始数据，该原始数据为矢量数据：4×4输入矩阵；以及累加寄存器组的中间数据；每个矢量运算工作寄存器R<S...
- 严晓浪秦兴刘大可葛海通罗晓华
- 文献传递
- 用于降低指令缓存功耗的分支序列缓冲器
- 一种用于降低指令缓存功耗的分支序列缓冲器，包括：指令缓存单元，用于临时存储预取的指令，采用多路组相连结构，每个路包括标志位存储器和数据存储器；访问控制单元，用于根据分支序列缓冲单元中的路选信息，控制指令缓存单元中目标路的...
- 刘畅孟建熠严晓浪葛海通徐鸿明武淑丽冷冰梁静刘晓东沈秀红鄢传钦李战辉高金加仇径赵朝君
- 文献传递
- 一种RTL级数据通路ODC低功耗优化算法被引量：2
- 2010年
- 本文提出了一种具有高计算效率和低硬件开销的门控时钟低功耗优化算法.该算法在RTL级搜索数据通路的不可观察性(Observability Dont′Care).采用RTL级逻辑信号总线ODC模型和基于路径ODC的有向图遍历模型,减少了ODC计算负荷,提升了计算效率,使ODC适用于超大规模集成电路的低功耗优化.引入数据通路ODC条件概率作为门控信号产生的重要依据,对ODC条件概率高的通路优先插入门控逻辑,可以极低硬件开销实现高效门控时钟网络.实验结果显示,本算法与传统ODC算法相比计算负荷平均降低8倍,功耗平均下降12.35%,面积开销平均减少13.44%.
- 孟建熠丁永林严晓浪葛海通
- SOC形式验证中的故障诊断
- 2003年
- 在集成电路设计过程中,随着设计规模的不断增大,验证和故障诊断日趋重要。文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法。
- 李星严晓浪葛海通
- 关键词：SOC故障诊断集成电路设计
- FAOG:基于过滤技术和AOG的组合电路多故障诊断算法
- 2005年
- 本文提出了一种用于组合电路中的多故障诊断的新算法FAOG(FilteredAND/ORgraphs)。此算法基于过滤技术和AOG图。其中过滤技术用来除去电路中的非可能致错部分,以减少所需处理的电路规模。AOG是与电路对应的AND/OR图,是改错的关键部分。此算法对于树状组合电路是完全自动的。对于普通组合电路是半自动的。它既解决了基于模拟的改错算法只能限定出错区域而不能告知如何诊断故障信息的局限性,也大大减轻了符号诊断法的内存爆炸问题。实验表明,这是一种快速高效的故障诊断方案,适用于多故障的组合电路。
- 李星严晓浪葛海通
- 关键词：组合电路
- 计算核与外部接口的数据通讯方法
- 本发明公开了一种计算核与外部接口的数据通讯方法。方法的步骤如下：1)当计算核要可以输入数据时，计算核将“输入请求”信号置有效；2)当外部设备收到“输入请求”时，响应该请求，将“输入请求应答信号”置有效，同时将数据放在“输...
- 葛海通沈海斌
- 文献传递
