论文部分内容阅读
功能验证已成为VLSI设计周期的瓶颈,许多新技术不断出现.本文采用openvera这种HVL(高级验证语言)来对"银河飞腾"高性能DSP的浮点部件进行功能验证,建立了浮点部件的覆盖模型。并应用基于覆盖的验证、带约束的随机生成、验证的自动化等方法,实现了不同层次的验证,取得了较好的验证效果。
"银河飞腾"DSP浮点部件的功能验证
【摘 要】
：
功能验证已成为VLSI设计周期的瓶颈,许多新技术不断出现.本文采用openvera这种HVL(高级验证语言)来对"银河飞腾"高性能DSP的浮点部件进行功能验证,建立了浮点部件的覆盖模型
【机 构】
：
国防科技大学计算机学院 长沙 410073
【出 处】
：
第十届计算机工程与工艺全国学术年会
【发表日期】
：
2006年期
其他文献
本文基于多媒体数据处理中乘法应用的特点,设计实现了一种多媒体乘法器,有效实现了扩展指令集中的多媒体乘法指令和乘加指令.
北京市军事管制委员会军法处,于八月十七日判决了美国特务间谍阴谋武装暴动案的七名罪犯,其中判处死刑的美国特务间谍李安东(意大利人)和山口隆一(日本人)已于当日执行枪决
爲了慶祝越南‘八月革命’和越南民主共和國建國七週年紀念,光輝的影片‘抗戰的越南’即將於九月二日開始在我國三十多個大城市同時放映。‘抗戰的越南’是與‘抗美援朝’一
为了进一步了解药用苔藓植物的分布规律及生物多样性,本研究以大兴安岭南部山地6个自然保护区8种生境的药用苔藓植物为研究对象,对药用苔藓植物物种组成和潜在的药用价值进行
本文介绍了基于银河飞腾DSP的USB2.0仿真器的工作原理、设计和实现,详细说明了相应的Windows驱动程序,底层固件程序和主机端应用程序的开发过程.该仿真器数据传输快,作为银河
两级Cache结构是高性能DSP的典型存储结构,其中二级Cache既是DSP与外部存储器进行程序和数据交互的关键部件,又是充分利用程序的局部性原理为一级Cache提供快速数据访问的重
会议
"银河飞腾"DSP为一款正在研制的定点高性能DSP芯片,本文概述了乘法单元在该DSP中的作用,详细阐述了乘法单元涉及到的关键算法以及设计思路和实现,并对设计进行了功能验证和逻
直接存储器访问(DMA)的出现为处理器内外数据交换提供了一种有效的途径,标准的DMA结构仅仅能提供单一方向的数据传榆能力.本文分析了标准DMA结构的不足,针对实际应用中频繁出
(原文载Journal of Pharmacy and Pharmacology.I:1—10,1949)组织毒素(Histamine)是组织氨基酸(Histidine)经过某种细菌的作用,或加酸久煮,失去一分子的二氧化碳而成的一种