【摘 要】
：
核电数字化仪控系统需要高可靠性和安全性,对其进行充分的验证和测试至关重要。为促进FPGA技术在核电行业发展,需要能够被普遍认可的FPGA验证方法。然而现阶段的国际标准和研
论文部分内容阅读
核电数字化仪控系统需要高可靠性和安全性,对其进行充分的验证和测试至关重要。为促进FPGA技术在核电行业发展,需要能够被普遍认可的FPGA验证方法。然而现阶段的国际标准和研究报告（如IEC62566和NUREG/CR-7006）仅阐述了基于FPGA核安全级仪控系统的生命周期,并未涵盖具体的FPGA验证方法。因此,本文将介绍通用验证方法学（UVM）在核安全级仪控平台（NASPIC）FPGA软件自动化测试方面的应用,为同行提供一个技术参考。本文首先介绍UVM的架构,叙述基于UVM的FPGA验证平台搭建流程;其次
其他文献
<正>现在小学语文教材中,尚有相当一部分的课文篇幅长,结构复杂,含义深奥的文章。为此在教学生学习这些课文时,有着一定的困难。其主要表现在课文内容繁多,篇幅长,中心不明显
放牧地生态系统占据草地生态系统的最大比例，对它的研究关系到草地畜牧业生产稳定和发展，也关系到我国生态环境的好与坏．研究放牧地生态系统重点在于放牧地生态系统的构成，放牧地
针对双级矩阵变换器（TSMC）驱动永磁同步电机（PMSM）系统低速区，基于反电动势的传统速度估算方法失效的问题，将脉振高频电压注入法首次拓展至此系统，通过注入高频电压信号并检测转子电
为减少传统多电平载波脉宽调制方法所需要的三角载波数目,以二极管钳位式三电平逆变器为例,研究了一种新型多电平载波脉宽调制方法,同时将其推广应用于NPC/H桥5电平逆变器.该
在考虑电子与体纵光学声子强耦合的条件下，通过求解能量本征方程，得出了量子盘中电子的基态能量和第一激发态能量及其相应的本征波函数；采用幺正变换和元激发理论方法研究了声子
教改以来,游戏与教学结合的教育模式获得广泛关注,广大幼儿教师更是在实际教学中将游戏化教学运用到各科教学中。幼儿身心发展处于不确定阶段,身体灵活,情绪波动较大,如何利