【摘 要】
：
本文概述了3种IP核验证的基本方法以及它们的优缺点。在此基础之上，并基于实际的设计工作总结，提出了系统级分块式验证方法，并设计实现了YHFT-MP DSP芯片的中断与异常模块验
【机 构】
：
国防科技大学计算机学院 长沙410073
【出 处】
：
第十七届计算机工程与工艺年会暨第三届微处理器技术论坛
论文部分内容阅读
本文概述了3种IP核验证的基本方法以及它们的优缺点。在此基础之上，并基于实际的设计工作总结，提出了系统级分块式验证方法，并设计实现了YHFT-MP DSP芯片的中断与异常模块验证程序。该验证方法可以有效定位隐藏在设计中的深层次错误，提高了模块级功能验证的覆盖率，避免了繁琐的重复跑验证程序的工作，大大加快验证过程。
其他文献
近年来随着人工色素使用的日益普遍,由人工色素所引起的食品安全事件频发,柠檬黄作为一种偶氮类人工合成色素,由于其低廉的价格以及出色的染色效果,被广泛应用于食品行业当中。但由于柠檬黄的分子结构中存在偶氮基团和苯环结构,对人体健康存在一定的危害,这使得柠檬黄的使用受到诸多限制,近年来食品中违规或过量添加人工食品色素的事件时有报道。传统的柠檬黄检测方法如高效液相色谱、紫外分光光度法等由于存在仪器昂贵、样品
香港闽籍作家中，有许多诗歌追求者，他们是南来诗群中很有实力的一群。闽籍作家的诗作中虽然各有审美特点，但都有共同的审美心理。这种审美心理主导着作家的审美活动，影
大陆与台湾的新诗同源,由于政治原因、地域差异和长时间缺少沟通,自20世纪四五十年代起,诗歌创作态度与审美倾向皆有所不同.80年代以后,随着政策逐步放开,地区间文
自20世纪90年代以来,台湾少数民族族群意识的觉醒和高涨是一股引人注目的社会文化现象.台湾少数民族文学兴起于20世纪80年代,是"原运"展开的一环.本文将分别讨论少
染料敏化太阳能电池(Dye-sensitived solar cell, DSSC)凭借其低廉的价格、简单的制作工艺、较高的光电转换效率而具有良好的应用前景。为了将DSSC研制成可充放式电池,同时也为了适应未来应用的需要,各国科学家一直在进行相关方面的研究。本论文利用SEM、XRD、紫外-吸收光谱等测试手段测试各种半导体多孔膜的物理性能;通过组装DSSC,利用电化学工作站测试了各种不同半导体薄膜的
在20世纪四五十年代,围绕着国共两党的斗争与分裂,在文学上,共产党这边出现了红色文学的潮流,与之有异曲同工之妙的是,国民党那边,则有着白色"反共文学"潮流.之后,
"新诗"是"华文文学"的重要组成部分,主要分布在大陆、台湾、香港、澳门、东南亚等地区,其中大陆和台湾是最重要的地区.尽管这种体裁保证了文学发展的统一性和连续性
Ru(II)多吡啶类的配合物在光化学、电化学、生物化学等方面有着许多优良的特性，长久以来一直是国内外科学工作者的一个研究热点。本文进一步开展了以邻菲咯啉及其衍生物为配体
你是不是总憧憬着自己的人生有一次精彩的冒险，是不是总想着来一次难忘的户外露营呢？那好吧，让我们先来测测你到底适不适合这种活动。