核电安全级仪控系统形式化功能验证

作者：钱一名; 刘志凯; 梁成华; 王冬

来源：核电子学与探测技术, 2019, 39(05): 621-625.

• 可编程逻辑技术
• 核安全级
• 形式化技术
• 功能验证

提出了一种基于形式化技术的功能验证方法,对可编程逻辑模块级/子系统级进行功能验证。通过实例逻辑验证表明,依据功能验证平台,按照验证步骤对设计程序进行缺陷检查,测试用例能保证RTL代码结构和功能覆盖达到100%,并提供验证报告方便快速定位并进行缺陷修复,大大地降低了仪控系统在核电厂实际使用过程中出现问题的概率,保证核电安全级仪控系统稳定性、可靠性和安全性的要求,为仪控系统提供更充分更有力的依据。