移动图形处理器的现状、技术及其发展

3D图形绘制技术已经渗透到各种移动设备中.相对于桌面PC,移动设备图形处理需要以更低的功耗、更有限的内存带宽和较低的运算能力实现高性能、高质量的图形显示效果.文中介绍了移动图形处理器发展现状,从硬件设计方面分析了这一领域未来面临的挑战;分析了当前移动图形处理器中区块式和立即式渲染的架构特点,总结了渲染过程中加速数据流计算方法和芯片低功耗设计方法.最后展望了移动图形处理器的发展趋势.     

使用Hash表和树位图的两级IPv6地址查找算法

为了提高IPv6地址查找效率,在分析IPv6路由前缀长度分布规律的基础上,提出了基于哈希表及树位图(Tree-bitmap)的两级IPv6地址查找算法.算法将长度为16,32,48和64比特的前缀分别存储在4个Hash表中,其余前缀的前16,32和48比特利用已有的Hash表存储,剩余的不足16比特的部分前缀利用树位图存储,并将树位图的入口地址保存在Hash表中.IP地址查找时在Hash表和树位图中进行两级查找.实验表明,该查找算法的平均内存访问次数为1～2,最坏情况下为7,适用于高速IPv6地址查找.     

无数据缓存的容错环形NoC

提出一种分层双组双环NoC拓扑结构,该结构中链路分为两组环网,其中有一组环网为主环,另一组为备用环网,用于NoC网络的容错.每组环网中包含一个控制环和一个数据环,控制环采用包的形式交换结点之间路由、链路错误和差错控制信息,数据环用电路交换方式进行数据通信.针对以上NoC拓扑结构,提出交换结点无需缓冲区的三级流水线结构,使得各个IP之间的数据通信延时最小.环网中采用时分复用和优先级相结合的机制,实现了公平路由和带宽的空分复用.仿真结果表明,该结构可以有效避免拥塞、死锁和饥饿,保证带宽充分利用,与理论分析一致.     

实时系统状态空间分析的一种算法

提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。     

用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

一种快速浮点乘法单元的设计与实现

以自主设计的图形处理单元(Graphic Processing Unit,GPU)所需求的浮点乘法处理能力为目标,设计并实现了6级全流水线的单精度浮点乘法器,其部分积生成采用修正的Booth编码算法,部分积压缩采用4-2和3-2混合Wallace树结构。使用Synopsys的VCS完成待测设计的功能验证,使用Design Complier工具在0.13um工艺库下实现设计综合,可以达到2.7Gflops的处理速度,符合图形处理器的要求。     

构造特定应用领域芯片验证环境的方法讨论

由于IC设计复杂度日益增加，用于IC设计功能验证的时间占到整个设计周期的60％—70％。我们认为针对某个领域的产品，开发可配置的验证环境是验证领域的一个方向，本文重点讨论开发特定应用领域芯片的验证环境方法，并介绍了根据该方法，我们开发的一个面向SDH领域系列芯片的验证环境。     

视频DSP芯片XY-VDSP中移位功能的实现

利用传输门实现了 32位桶式移位寄存器 ,其具体功能包括算术右移 ,逻辑左移 ,逻辑右移和循环右移。从而较好地实现了视频DSP芯片XY -VDSP中的移位功能     

热空穴应力下LDD nMOSFET中GIDL电流退化特性研究*

本文通过GIDL电流参数IDIFF对空穴应力下LDD nMOSFET中的GIDL电流退化进行了深入研究。IDIFF是在相同VDG下漏电压VD=1.4V和栅电压VG=-1.4V两种情形下的GIDL电流之差。空穴陷落在栅漏交叠区的氧化层中导致GIDL电流退化。这些陷落的空穴减小了上述两种对称的测试情形下的横向电场差ΔEX从而使得IDIFF表小。从GIDL电流中提取的IDIFF随着应力时间t的增加而减小。IDIFF的退化量ΔIDIFF,MAX与应力时间成幂指数关系：ΔIDIFF,MAX∝tm, m=0.3. 并用热电子应力实验验证了HHS实验中的相关物理机理。     

建立可扩展验证核的方法研究

提出一种可扩展验证核的结构,根据该结构建立了一个面向光通信应用领域SDH系列芯片验证的可扩展验证核VIP,验证人员通过文本编辑,可以产生验证所需要的XML配置文件,VIP根据配置XML文件,产生仿真激励并在线检查仿真结果.