作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

32位高性能嵌入式CPU及平台研发  CNKI文献

嵌入式CPU作为SoC设计中最重要最关键的IP,其研发受到了广泛关注。本文主要围绕CKCORE国产32位嵌入式CPU的研制,对其体系结构、核心模块、验证流程,以及SoC平台等多项关键技术进行了深入研究。 本文自主设计了32...

葛海通 导师:严晓浪 浙江大学 2009-10-15 博士论文

关键词: 嵌入式CPU / SoC设计平台 / 多媒体增强 / 单指令多数据流

下载(1371)| 被引(24)

一种基于混合SAT求解器的RTL验证方法  CNKI文献

为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级(RTL)电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题(SAT)的求解器.与传统方法相比,其综合引擎取消了...

葛海通 翁延玲... 《浙江大学学报(工学版)》 2010年02期 期刊

关键词: 集成电路设计 / 逻辑综合 / 等价性验证 / 混合SAT求解器

下载(91)| 被引(0)

一种有效的两端线网布线方法  CNKI文献

提出了一种基于计算几何学的面向两端线网的布线算法。对于给定的布线平面,该算法首先根据障碍情况构造了包含最短路径信息的强连接图,然后引入绕障碍长度作为参数,以决定搜索走向,算法保证能找到最短布线路径,并...

葛海通 严晓浪 《微电子学》 1999年01期 期刊

关键词: 布线算法 / 最短路径 / 连接图 / 计算机辅助设计

下载(50)| 被引(9)

一种形式化验证方法:模型检验  CNKI文献

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用.文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法:标记算法和基于固定点的算法,最...

杨军 葛海通... 《浙江大学学报(理学版)》 2006年04期 期刊

关键词: 模型检验 / Kripke结构 / CTL逻辑 / 标记

下载(868)| 被引(75)

一种深亚微米工艺条件下的Memory逻辑参数提取方法  CNKI文献

随着Memory的集成度越来越高,逻辑参数的提取时间变得无法忍受。在分析Memory结构特点和工作特性的基础上,提出了一种Memory逻辑参数提取的新方法。方法根据AWE模型简化了电路中的RC数量,依据激励波形简化电路中的不活...

葛海通 李训根... 《微电子学与计算机》 2005年03期 期刊

关键词: 逻辑参数 / 寄生参数 / 电路简化

下载(30)| 被引(0)

一种VLSI零偏差时钟线网布线算法  CNKI文献

本文给出了一种时钟线网布线的新算法。算法基本上消除了时钟偏差,并使线网总线长得到了最小化。其关键在于:①在旋转定位的基础上,采用平衡合并的原则构造时钟树拓扑结构,并在合并过程中,保证点与弧之间的连续优...

葛海通 严晓浪 《电路与系统学报》 1999年01期 期刊

关键词: 时钟线网 / 布线 / 时钟偏差 / 超大规模集成电路

下载(39)| 被引(1)

门级电路自动测试向量生成技术原理  CNKI文献

集成电路的飞速发展使得测试的难度不断增加,而ATPG技术在测试向量产生方面具有重要的意义,本文对该技术的发展及其所采用的方法进行了系统地介绍和分析.针对门级的组合电路和时序电路的ATPG方法具有许多相似之处,但也...

刘观生 葛海通... 《浙江大学学报(理学版)》 2006年01期 期刊

关键词: ATPG / 门级电路 / 测试

下载(212)| 被引(13)

一种基于JTAG协议的嵌入式调试接口设计方法  CNKI文献

提出了一种新的嵌入式调试接口设计方法,设计者可以重用JTAG标准的串行接口进行监视,跟踪并分析在嵌入式微处理器上运行的程序.通过采用调试接口电路的流水线映像寄存器组和特殊数据通路,可以避免在CPU关键路径上插入...

游海量 葛海通... 《江南大学学报(自然科学版)》 2007年05期 期刊

关键词: 嵌入式调试接口 / 中央处理器 / 扫描链 / 映像寄存器

下载(215)| 被引(6)

基于算术编码的异构双核SoC代码压缩方法  CNKI文献

介绍了一种基于二进制算术编码和马尔可夫模型的代码压缩算法,并以此为基础,面向自主研发的异构双核SoC—GEM-SOC,提出了一种软件实现的解码方法。该方法可以根据不同应用的代码特点,选择合适的马尔可夫模型参数,从而...

阳晔 葛海通... 《微电子学》 2007年06期 期刊

关键词: 算术编码 / 马尔可夫模型 / 代码压缩 / 异构双核

下载(55)| 被引(0)

超大规模集成电路无网格布线算法研究  CNKI文献

本文提出一种高性能超大规模集成电路无网格布线算法。对于给定的布线平面,算法首先生成该布线平面的非均匀网格图,然后以绕障长度为布线参数,采用优化迷宫算法完成具体的布线过程。算法保证能够找到存在的最短布线路...

王书江 葛海通... 《电路与系统学报》 2002年04期 期刊

关键词: 超大规模集成电路 / 无网格布线 / 变线宽

下载(188)| 被引(7)

基于等价性形式验证的逻辑综合引擎设计研究  CNKI文献

本文描述了一个基于等价性验证的逻辑综合引擎,它实现了从RTL级到网表级的综合。设计验证系统的初衷是验证给定设计从RTL级到网表级自动综合后电路的正确性,所以综合引擎本身的正确性是本文首要关注的问题。为了提高等...

翁延玲 葛海通... 《电路与系统学报》 2007年04期 期刊

关键词: 逻辑综合 / 等价性验证 / 电路相似性

下载(91)| 被引(6)

VLSI总体布线算法研究与实现  CNKI文献

总体布线是布图设计中一个极为重要的设计环节。本文提出了基于可分离最小生成树(SMST)的优化L形直角斯坦(Steiner)树(L_RST)和优化Z_RST的算法。该算法实现上绕开计算重合度问题,以新的角度计算代价。利用基于tile的...

杨垠丹 葛海通... 《电路与系统学报》 2003年05期 期刊

关键词: 总体布线 / 可分离最小生成树 / 直角斯坦纳树 / 伪管脚

下载(185)| 被引(2)

结合半加图的算术电路等价性验证技术  CNKI文献

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识...

翁延玲 葛海通... 《浙江大学学报(工学版)》 2008年08期 期刊

关键词: 综合 / 等价性验证 / 算术电路 / 半加树

下载(45)| 被引(3)

等价性验证中的自动算符排序  CNKI文献

为提高等价性验证效率,提出了一种利用综合引擎重现算术电路的优化过程算法.算法在单向无环图上计算距离,提取出变量的分组和结合顺序;对不同编码方式的乘法器,识别乘数和被乘数的结合顺序.ZDFV的综合引擎根据这些信息...

翁延玲 葛海通... 《浙江大学学报(工学版)》 2007年06期 期刊

关键词: 算术电路 / 等价性验证 / 综合

下载(31)| 被引(4)

面向视频处理的高效二维流存储系统  CNKI文献

为了解决高度并行的视频处理中存储系统的瓶颈问题,设计了一种高效的基于流的二维存储系统.该系统完成了二维逻辑空间到物理上多路并行存储器模块的映射.在二维逻辑空间中的每一个数据阵列都可以根据给出的基地址、二...

刘纯悦 葛海通... 《江南大学学报(自然科学版)》 2008年01期 期刊

关键词: 二维存储系统 / 流访问 / 视频处理

下载(75)| 被引(1)

基于加速度传感器的无按键计步腕表低功耗算法  CNKI文献

针对基于加速度传感器的无按键计步腕表的核心算法进行了低功耗优化。在现有的敲击检测控制算法和计步算法基础上,分别提出了预测敲击检测算法和自适应计步算法,并将这两种改进算法应用于一个由智能手机和无按键腕表构...

李越 黄凯... 《传感器与微系统》 2015年03期 期刊

关键词: 计步腕表 / 加速度传感器 / 低功耗 / 高精度

下载(382)| 被引(10)

单元特性提取中采样点偏离现象的研究  CNKI文献

为使应用于集成电路设计中的单元时序信息库更能反映实际情况,研究了特性提取中出现的采样点分布偏移和格点偏离现象,并提出了有效的解决方法。该方法通过建立查表模型,无需多次重复仿真就能准确定位任意采样点。理论...

李伟良 葛海通... 《微电子学》 2003年01期 期刊

关键词: 超大规模集成电路 / 特性提取 / 采样点 / 查表模型

下载(31)| 被引(6)

Arithmetic Operand Ordering for Equivalence Checking  CNKI文献

An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on ...

翁延玲 葛海通... 《Tsinghua Science and Technology》 2007年S1期 期刊

关键词: synthesis / equivalence / checking / arithmetic

下载(23)| 被引(3)

多层VLSI布线通孔最少化的遗传算法  CNKI文献

提出了一种基于遗传算法的通孔最少化算法,该算法适用于多层布线,可对任意的布线结果进行通孔最少化。引入线网分组向量和线网走向向量的概念,确保解的可行性;利用遗传算法的选择、杂交、变异等算子,不断对潜在解集进...

王书江 葛海通... 《微电子学》 2003年03期 期刊

关键词: 超大规模集成电路 / 通孔最少化 / 遗传算法 / 布线

下载(69)| 被引(1)

基于л型RLC模型估计电源树同步切换噪声  CNKI文献

深亚微米工艺下,高密度器件的高频同步切换噪声可严重影响超大规模集成电路(verylargescaleintegratedcircuit,VLSI)的可靠性和信号完整性.基于一类VLSI电源树(powersupplytree,PST)的分段π型RLC模型,利用切换事件驱...

何剑春 葛海通... 《浙江大学学报(工学版)》 2003年04期 期刊

关键词: 电源/地分配网络 / 同步切换噪声 / π型RLC模型

下载(47)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状