基于Synopsys VMM方法的FPGA验证技术

来源 :计算机应用 | 被引量 : 0次 | 上传用户:litao2006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.
其他文献
攀钢集团矿业公司白马选矿厂于2010年在二期扩能建设中,使用φ7.32 m半自磨机进行矿石破碎加工。在使用过程中,半自磨机出现橡胶填料易磨损、衬板螺栓漏矿、传动齿轮防泥罩设
期刊
有限责任公司作为我国法人型态之一存在,在日常经济实践中多所运用,虽本质尚属资合公司,但究其封闭性与人合性的特殊形态,一方面可认实际运作稍具灵活性,较贴近各股东的盈利目标,惟
目的研究全反式视黄酸(ATRA)对人乳腺癌MDA-MB-231细胞增殖及ATRA与X射线照射对视黄醇类X受体α(RXRα)表达水平的影响。方法 MTT法检测细胞增殖,Western blot检测RXRα表达
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
当前,物联网由概念转向现实、由技术转向产业的历史机遇业已到来。在这个风潮劲涌的时刻,如何才能果断地抓住机遇,实现迎头赶上?管中窥豹,可见一斑,我认为既要注重学习和借鉴
期刊
煤矿引风道内使用的控制风门多为水平推拉风门、垂直升降风门或蝶阀控制型风门,前2种风门均有大部份暴露在引风道外,经日晒雨淋,其滑行轨道易生锈和积存杂物,导致风门不能正
期刊
今年1月,国务院常务会议决定加快推进电信网、广播电视网和互联网三网融合,并提出了推进三网融合的阶段性目标。与以往“三网融合”仅停留在口号层面相比,此次国务院通过的实
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊