本书系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。

章 可编程逻辑器件概述
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 设计检查
4.1.1 文档检查
4.1.2 代码检查
4.1.3 跨时钟域检查
4.2 功能仿真
4.2.1 功能仿真的目的
4.2.2 功能仿真的输入
4.2.3 功能仿真的方法和过程
4.2.4 功能仿真覆盖率收集
4.3 门级仿真
4.3.1 门级仿真的目的和前提
4.3.2 门级仿真的方法和过程
4.4 时序仿真
4.4.1 时序仿真的目的和前提
4.4.2 时序仿真的方法和过程
4.5 静态时序分析
4.5.1 静态时序分析概述
4.5.2 静态时序分析方法
4.6 逻辑等效性检查
4.6.1 启动
4.6.2 加载指导文件
4.6.3 加载参考设计和被验证设计
4.6.4 执行setup
4.6.5 执行match
4.6.6 执行verify
4.6.7 注意事项
4.7 实物测试
4.7.1 实物测试的主要内容
4.7.2 实物测试的方法
第5章 航天型号可编程逻辑器件软件验证实践
5.1 灰度图像信息采集FPGA逻辑需求说明
5.1.1 功能需求说明
5.1.2 开发环境说明
5.1.3 程序设计
5.2 灰度图像信息采集FPGA逻辑验证
5.2.1 代码审查
5.2.2 仿真验证
5.2.3 静态时序分析
5.2.4 跨时钟域检查
5.2.5 逻辑等效性检查
5.2.6 实物测试
5.3 灰度图像信息采集FPGA逻辑问题报告单
5.4 灰度图像信息采集FPGA逻辑回归验证
5.5 灰度图像信息采集FPGA逻辑验证总结
第6章 航天型号可编程逻辑器件软件验证经验
6.1 VHDL和Verilog语言设计规则
6.1.1 VHDL和Verilog语言简介
6.1.2 VHDL和Verilog语言设计规则介绍
6.2 安全性、可靠性设计方法
6.2.1 速度与面积设计
6.2.2 状态机设计
6.2.3 时钟信号设计
6.2.4 复位信号设计
6.2.5 跨时钟域信号处理
6.2.6 信号传输设计
6.2.7 FPGA开发软件版本要求
6.2.8 FPGA器件选择要求
6.2.9 设计约束要求
6.2.10 时钟管理模块使用要求
6.2.11 余量设计
6.2.12 边界安全性设计
6.2.13 内部信号设计
6.2.14 中断设计
6.2.15 内部存储区设置要求
6.2.16 内部DSP设计要求
6.2.17 模块扇入扇出要求
6.2.18 信号扇入扇出要求
6.2.19 管脚设计
6.2.20 抗单粒子翻转安全性设计
6.2.21 不错语言编程限制
6.2.22 清理软件多余物
6.2.23 容错设计
6.3 时序约柬及典型时序优化方法
6.3.1 时序相关基本概念
6.3.2 可编程逻辑器件时序约束设计
6.3.3 典型时序优化方法
6.4 测试中发现的典型缺陷
6.4.1 系统设计类
6.4.2 接口设计类
6.4.3 时钟／跨时钟域处理类
6.4.4 复位及初始化类
6.4.5 设计约束类
6.4.6 健壮性设计类
6.4.7 状态机类
6.4.8 编码规范类
参考文献