【摘 要】
：
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性
论文部分内容阅读
针对可编程器件在数字系统设计领域日益显现的重要性,分析了基于现场可编程门阵列(FPGA)的硬件设计的质量保证方法,指出必须对FPGA设计进行充分的验证以提高相应产品的可靠性.从验证方法和方法学角度阐述了验证平台的发展趋势,比较了当前主流的验证方法学,基于Synopsys VMM方法提出并实现了一种层次化的通用验证技术,运用该技术搭建的验证平台已在工程实践中得到应用,验证结果表明,在保证平台通用性的同时提高了验证效率.
其他文献
1型糖尿病和2型糖尿病在全球范围内的流行,严重危害人类健康,加重了各国医疗负担.随着基因治疗技术的迅速发展,为糖尿病的基因治疗带来了新的思路.本文总结了利用合适的启动
1972年澳大利亚学者Kerr等[1] 首先从形态学方面描述了1种与坏死完全不同的细胞死亡方式--凋亡(apoptosis),它与细胞分裂增殖同属于细胞最基本的生命活动,对组织的生长发育具
外科治疗是乳腺癌综合治疗中的重要组成部分。在无法保留乳房或乳房肿瘤广泛切除术后,乳房的缺失或乳房外形、轮廓的明显毁损会对病人造成诸多不利影响,如重大心理创伤、义乳
目的 探讨Ⅲ型前列腺炎/慢性骨盆底疼痛综合征(CAP/CPPS)患者外周血中CD4+CD25+调节性T细胞占CD4+T细胞的比率以及检测其前列腺液(EPS)中单核细胞趋化蛋白-1(MCP-1)的水平,分
随着经济的发展,用户对供电可靠性提出更高的要求.因此,供电部门必须提高供电可靠性,最大限度满足用户的要求,本文简要说明了配电网供电可靠性的重要性,分析了影响供电可靠性
随着城市建设的发展,高层建筑日益增多,地下室工程也已普及,地下室施工技术的方案直接关系到工和的质量,本文结合工程实例就如何做好关键技术的具体措施进行了总结,作为探讨
线损控制是衡量供电管理水平的重要指标.本文先对配电网线损组成做了阐述,并对其主要影响因素做了分析.最后提出降低线损的措施,制定合理的线损指标认真考核,同时找出线损管
本文作者结合多年工作经验对加强土建现场管理的技术及其方法的研究和应用做了简要探讨,并在此基础上改进和加强对影响土建因素的防范措施,对提高预目的全寿命经济效益,对促
尽管居住区的环境构成不能直接影响人们交往的质量,但建筑师和规划师却能影响人们相遇、规察和倾听他人的机合.这些变往活动的机会既有其自身的质量.也由于它们构成了其他形
本文分析了影响工程造价控制的主要因素,提出了控制工程造价的主要途经,得出了采取系统综合的方法从决策阶段、设计阶段、实施阶段对工程造价进行全过程控制,其中项目决策阶