Physical Address
304 North Cardinal St.
Dorchester Center, MA 02124
IEC 62566：核电站安全级系统的HDL编程集成电路开发
IEC标准深度解读 — 工程师必读的技术参考
核心要点：IEC 62566规定了核电站A类安全功能系统中使用HDL编程集成电路（HPD）的开发要求，这是最高的安全分类等级。
1. 适用范围与生命周期要求
IEC 62566适用于核电站A类功能仪控系统中使用硬件描述语言（HDL）编程的器件开发——包括FPGA、CPLD和ASIC。A类功能涵盖失效可能导致严重放射性后果的系统，要求最高水平的设计严谨性和验证。该标准涵盖了从需求规范到设计、验证、确认和配置管理的整个生命周期。
生命周期模型与基于软件系统的IEC 61513和IEC 60880要求相呼应，但专门针对硬件描述语言进行了调整。关键阶段包括：HPD需求规范、组件验收、设计与实现、验证与确认，以及集成到整体I&C架构中。
| 阶段 | 关键活动 | 输出 |
|---|---|---|
| 需求规范 | 功能需求、故障检测、确定性设计 | HPD需求规范文档 |
| 组件验收 | 文档审查、运行经验、空白IC选择 | 验收论证报告 |
| 设计与实现 | HDL编码、防卫设计、可测试性 | HDL源代码、设计文档 |
| 验证与确认 | 仿真、静态分析、形式化方法 | V&V报告 |
| 集成 | 系统集成测试、配置管理 | 集成测试报告 |
关键要求：A类HPD必须实施防卫设计技术，包括安全与非安全功能的分离、多样化冗余以及在所有运行条件下的确定性行为。
2. 防卫设计与验证
标准强制要求在HPD开发全过程中贯彻防卫设计原则。这包括尽可能避免锁存器、实施同步设计方法（异步路径需最小化并经过形式化验证）、全面的电源管理以及确定的初始化序列。HDL编码规则必须防止可能引发仿真与硬件行为之间综合不匹配的歧义结构。
验证要求包括：
- 覆盖正常、异常和边界条件的动态仿真
- 编码规则合规性的静态代码分析
- RTL与门级实现之间的形式等效性检查
- 最坏条件（电压、温度、工艺角）下的时序分析
- 验证故障检测与容错机制的故障注入测试
最佳实践：使用电子系统级（ESL）工具进行高层需求捕获并与设计工具实现自动化接口。这可在保持可追溯性的同时弥合系统级规范与HDL实现之间的鸿沟。
3. 预开发组件验收流程
IEC 62566引入了针对预开发组件的结构化验收程序，包括知识产权（IP）核、原生模块和已购买的可编程IC。验收流程要求：全面的文档审查、运行经验评估以及与空白集成电路安全应用适用性相关的特定验证。对已验收组件的任何修改都需要通过规定的修改流程进行重新验证。
配置管理尤为强调，要求对每个HPD版本进行唯一标识，管理工具版本（综合、仿真、分析工具），并严格控制比特流或编程文件的生成过程。
4. 常见问题解答
❓ IEC 62566是否同时适用于FPGA和ASIC？
是的，该标准适用于所有使用HDL编程的集成电路，包括用于A类核安全系统的FPGA、CPLD和ASIC。
❓ 本标准与IEC 60880有何关系？
IEC 62566通过针对硬件描述语言和可编程逻辑器件（具有与软件不同的失效模式和验证要求）进行规范，补充了IEC 60880（核安全系统软件）。
❓ 涵盖哪些HDL语言？
标准与语言无关，但主要涉及VHDL和Verilog/SystemVerilog，要求制定编码规则以防止综合不匹配和歧义结构。
❓ 是否允许使用第三方IP核？
允许，但需进行严格的验收测试，包括文档审查、运行经验分析以及验证IP核满足与内部开发HPD相同的可靠性标准。
