论文部分内容阅读
文章分析了FPGA设计验证的一般流程，并以等效性验证原理为基础，结合等效性验证工具，探讨了大规模FPGA设计验证的工作流程及具体实施过程，对优化FPGA设计验证流程给出了建设性建议。
等效性验证工具进行大规模FPGA验证探讨
【摘 要】
：
文章分析了FPGA设计验证的一般流程，并以等效性验证原理为基础，结合等效性验证工具，探讨了大规模FPGA设计验证的工作流程及具体实施过程，对优化FPGA设计验证流程给出了建设性建议
【机 构】
：
中国空间技术研究院西安分院
【出 处】
：
空间电子技术
【发表日期】
：
2011年1期
其他文献
摘要：网络学习己成为一种重要的学习方式，网络安全问题日趋突出，不但影响学生学习成绩，并危害学生心理和生理健康，所以对学习者进行网络安全意识培养即重要又紧迫。文章介绍了网络安全现状及主要问题，并分析了网络安全意识培养的相关措施。 关键词：网络学习；网络安全；培养 中图分类号：G434 文献标识码：A 文章编号：1009-3044(2007)13-30221-01
当前国家对经济责任审计赋予了新的内涵,企业内部治理要求经济责任审计发挥更大的作用。本文尝试从聚焦主责主业、质量标准、审计效率等维度分析当前国有企业开展经济责任审
随着改革开放和社会进步，人们生活已由温饱型向小康型过渡，怎样吃最科学，怎样吃有营养，吃什么利健康，已成为人们越来越关心的话题。尤其是食用油，我们每天生活中的必需品，它的质量、
管理,作为生产要素,包括性质截然不同的两种类型:一是管理型劳动,是活劳动要素中具有较强价值创造能力的部分,是价值源泉之一;二是物化的管理要素,是生产资料的组成部分,并非
介绍了大同煤矿集团公司白洞矿区“五九事故”纪念馆的园林景观设计规划理念、功能分区以及植物品种选择原则等，以期为矿区纪念性园林的设计提供设计构思与参考。
摘 要：在对随机数安全性分析的基础上，在智能卡系统中引入随机序列的随机性统计检验的方法，检验生成序列是否满足系统安全所需的随机性。最后，在智能卡上实现了这些检验方法并给出了测试结果。实际应用证明系统运行正确。 关键词：智能卡；随机序列；统计检验 中图分类号：TP311 文献标识码：A 文章编号：1009－3044(2007)07－20227－02
本文介绍了建设项目合同控制管理EXP软件的主要作用，结合分析了当前工程建设管理中EXP软件的应用情况．阐明了EXP软件在工程建设管理的重要性压有着广阔的前景。
猪病防治应坚持防重于治的原则，否则，疾病一旦发生或扩散流行，损失或重大损失将不可避免。猪病的药物预防非常重要，若措施到位，许多重要传染性疾病可减轻或杜绝发生，经济效益和社会
TrceView控件用于显示具有层次结构的数据，通常用采显示繁杂信息。拳文介绍了VB中TreeView树型控件的属性、结点对象的添加方法．重点介绍了用TreeView控件分层显示数据库信息的
本文对统BootLoader进行了深入地分析，提出了基于ARM7-uClinux系统建立开发调试环境的引导程序的设计方法。在ARM7上做了设计与实现，并成功地应用与开发调试环境。