搜索筛选:
搜索耗时0.0841秒,为你在为你在102,285,761篇论文里面共找到 73 篇相符的论文内容
发布年度:
[学位论文] 作者：葛海通,,
来源： 年份：2009
嵌入式CPU作为SoC设计中最重要最关键的IP,其研发受到了广泛关注。本文主要围绕CKCORE国产32位嵌入式CPU的研制,对其体系结构、核心模块、验证流程,以及SoC平台等多项关键技...
[会议论文] 作者：杨军,葛海通,
来源：第四届中国测试学术会议 年份：2006
由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中...
[期刊论文] 作者：葛海通,严晓浪,
来源：电路与系统学报 年份：1999
本文给出了一种时钟线网布线的新算法。算法基本上消化了时钟偏差，并使线网总线长得到了最小化。其关键在于：１在旋转定位的基础上，采用平衡合并的原则构造时钟树拓扑结构，并在合并......
[期刊论文] 作者：葛海通,严晓浪,
来源：微电子学 年份：1999
提出了一种基于计算几何学的面向两端线网的布线算法。对于给定的布线平面，该长法首先根据障碍情况构造了包含最短路径信息的强连接图，然后引入绕障碍长度作为参数，以决定搜索走......
[期刊论文] 作者：游海量,葛海通,严晓浪,,
来源：江南大学学报(自然科学版) 年份：2007
提出了一种新的嵌入式调试接口设计方法,设计者可以重用JTAG标准的串行接口进行监视,跟踪并分析在嵌入式微处理器上运行的程序.通过采用调试接口电路的流水线映像寄存器组和...
[期刊论文] 作者：李星,严晓浪,葛海通,
来源：微电子学 年份：2003
在集成电路设计过程中,随着设计规模的不断增大,验证和故障诊断日趋重要.文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号...
[期刊论文] 作者：李星,严晓浪,葛海通,
来源：电路与系统学报 年份：2005
本文提出了一种用于组合电路中的多故障诊断的新算法FAOG(Filtered AND/OR graphs).此算法基于过滤技术和AOG图.其中过滤技术用来除去电路中的非可能致错部分,以减少所需处理...
[期刊论文] 作者：葛海通,李训根,罗小华,
来源：微电子学与计算机 年份：2005
随着Memory的集成度越来越高,逻辑参数的提取时间变得无法忍受.在分析Memory结构特点和工作特性的基础上,提出了一种Memory逻辑参数提取的新方法.方法根据AWE模型简化了电路...
[期刊论文] 作者：翁延玲,葛海通,严晓浪,
来源：浙江大学学报：工学版 年份：2007
为提高等价性验证效率，提出了一种利用综合引擎重现算术电路的优化过程算法．算法在单向无环图上计算距离，提取出变量的分组和结合顺序；对不同编码方式的乘法器，识别乘数和被乘数的......
[期刊论文] 作者：刘观生,葛海通,陈偕雄,,
来源：浙江大学学报(理学版) 年份：2006
集成电路的飞速发展使得测试的难度不断增加，而ATPG技术在测试向量产生方面具有重要的意义，本文对该技术的发展及其所采用的方法进行了系统地介绍和分析．针对门级的组合电路和时......
[期刊论文] 作者：王书江,葛海通,严晓浪,
来源：电路与系统学报 年份：2002
本文提出一种高性能超大规模集成电路无网格布线算法.对于给定的布线平面,算法首先生成该布线平面的非均匀网格图,然后以绕障长度为布线参数,采用优化迷宫算法完成具体的布线...
[期刊论文] 作者：杨垠丹,葛海通,严晓浪,
来源：电路与系统学报 年份：2003
总体布线是布图设计中一个极为重要的设计环节。本文提出了基于可分离最小生成树(SMST)的优化L形直角斯坦（Steiner）树（L_RST）和优化Z_RST的算法。该算法实现上绕开计算重合度问题...
[期刊论文] 作者：何仙娥,严晓浪,葛海通,,
来源：电路与系统学报 年份：2009
本文介绍了嵌入式处理器IP硬核的整套建模技术，并成功应用于一款32位高性能嵌入式处理器。生成的模型能准确描述IP硬核特性，符合业界工具标准输入格式并更易于使用，而且模型以加......
[期刊论文] 作者：李欣,赵为,赵兴亮,葛海通,
来源：电子技术应用 年份：2006
提出了H．264标准中插补运算的硬件设计方法。对亮度1／2像素插补，采用易于硬件实现的4抽头滤波器取代6抽头滤波器；对色度1／8像素的插补，利用移位器和加法器实现了乘法运算。提出一种......
[期刊论文] 作者：黄凯,秦兴,严晓浪,葛海通,,
来源：电子学报 年份：2007
17种预测模式和率失真优化模式判决极大的增加了H．264帧内编码器硬件设计的复杂度．目前的模式判决快速算法能大量减少模式判决的复杂度，但却不易于硬件实现．本文在Sobel边缘检测......
[期刊论文] 作者：葛海通,翁延玲,严晓浪,,
来源：浙江大学学报(工学版) 年份：2010
为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级（RTL）电路验证方法.该方法将验证问题转化为RTL可满足性问题,并采用基于混合布尔可满足性问题（SAT）的求......
[期刊论文] 作者：刘纯悦,葛海通,严晓浪,,
来源：江南大学学报(自然科学版) 年份：2008
为了解决高度并行的视频处理中存储系统的瓶颈问题,设计了一种高效的基于流的二维存储系统.该系统完成了二维逻辑空间到物理上多路并行存储器模块的映射.在二维逻辑空间中的每一个数据阵列都可以根据给出的基地址、二维偏移量、长度、数据粒度来进行灵活的流访......
[期刊论文] 作者：黄凯,阳晔,葛海通,严晓浪,
来源：江南大学学报：自然科学版 年份：2009
提出了一种基于CKCore RISC处理器和Spock DSP处理器的异构双核系统芯片平台（GEM-SoC）。该平台通过提供可配的功能IP模块和灵活完善的软硬件架构,使得异构双核SoC设计更为准确...
[期刊论文] 作者：李欣,赵为,赵兴亮,葛海通,,
来源：电子技术应用 年份：2006
提出了H.264标准中插补运算的硬件设计方法.对亮度1/2像素插补,采用易于硬件实现的4抽头滤波器取代6抽头滤波器;对色度1/8像素的插补,利用移位器和加法器实现了乘法运算.提出...
[期刊论文] 作者：杨建,阳晔,严晓浪,葛海通,,
来源：微电子学 年份：2007
高性能处理器之间的通信是片上多核系统设计的关键。文章描述了片上RISC／DSP双核系统Gemini中Mailbox、Shared-Memory、DMA三种通信机制的设计，并通过通信实验，测试各自的通信延...
相关搜索：
