本书依据GJB9433—2018《军用可编程逻辑器件软件测试要求》，对可编程逻辑器件软件的开发要求、验证要求、验证流程及验证技术进行说明，并通过验证实践，进一步阐明可编程逻辑器件软件验证过程控制、验证技术要求及验证问题处理。同时根据多年的可编程逻辑器件软件验证经验，总结出了VHDL/Verilog编码要求、安全可靠性设计方法、时序约束及优化和典型问题分析。
第1章 可编程逻辑器件概述
1.1 可编程逻辑器件的工作原理和内部结构
1.1.1 CPLD工作原理及内部结构
1.1.2 FPGA工作原理及内部结构
1.2 可编程逻辑器件软件开发环境及工艺特点
1.3 可编程逻辑器件在航天型号中的应用
1.3.1 高速通信
1.3.2 电子对抗
1.3.3 数字图像处理
1.3.4 逻辑接口
1.3.5 信息安全
1.4 可编程逻辑器件国产化现状
第2章 航天型号可编程逻辑器件软件开发通用要求
2.1 研制技术流程
2.1.1 任务分析
2.1.2 需求分析
2.1.3 设计验证实现
2.1.4 功能验证
2.1.5 综合布局布线
2.1.6 时序验证
2.1.7 编程下载
2.1.8 设计确认
2.1.9 第三方验证
2.1.10 验收
2.1.11 固化和落焊
2.1.12 运行维护
2.2 研制可行性分析
2.2.1 沿用可行性分析
2.2.2 配置参数修改可行性分析
2.2.3 适应性修改可行性分析
2.3 支持与管理活动
2.3.1 配置管理
2.3.2 质量保证
2.3.3 纠正措施
2.3.4 风险管理
2.3.5 保密性有关活动
2.3.6 分承制方管理
2.3.7 与独立验证和确认机构建立联系
2.3.8 与相关开发方的协调
第3章 航天型号可编程逻辑器件软件测试要求及流程
3.1 测试要求
3.1.1 测试级别
3.1.2 测试类型
3.2 验证流程
3.2.1 测试目的
3.2.2 测试内容
3.2.3 测试过程
3.2.4 验证问题处理要求
第4章 航天型号可编程逻辑器件软件验证技术
4.1 设计检查
