反应堆FPGA保护子系统开发与验证

验证与确认(V&V)方法是FPGA在核安全级仪控系统中应用所面临的关键问题之一。本研究以CPR1000核电机组一次冷却剂流量和ΔT保护系统为对象,进行基于FPGA的系统开发和V&V研究,提出了FPGA仪控系统的开发、V&V过程和方法。采用通用验证方法学(UVM)和第三方仿真工具确保硬件描述语言(HDL)代码获得100%的测试覆盖率,借助核电厂原理模拟机开展集成测试。研究结果为FPGA反应堆保护系统的开发、V&V和评审提供了理论和技术参考。