航天型号可编程逻辑逻辑器件软件验证技术与实践

　　《航天型号可编程逻辑逻辑器件软件验证技术与实践》系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。第1章简要介绍了可编程逻辑器件的原理及内部结构，同时介绍了其在航天型号中的应用及国产化现状。第2章介绍了航天型号可编程逻辑器件软件开发技术要求及过程管理。第3章详细说明了航天型号可编程逻辑器件软件总体验证要求，每种验证类型须覆盖的测试点及验证流程。第4章详细说明了在可编程逻辑器件软件中采用的验证技术，并举例说明了每种验证技术的验证方法及注意事项。第5章通过典型实践，从需求出发，运用前述验证方法和技术进行全流程验证，并给出了问题报告的示例、回归验证的影响域分析方法和验证总结中须包含的内容。第6章结合多年的可编程逻辑器件软件验证经验，归纳总结出可编程逻辑器件软件编程规范、安全可靠性设计、时序约束和典型问题集，用于指导可编程逻辑器件软件设计与验证工作。该书既有对基础理论知识的专门讲解，也有非常详细的实例演练和总结，更多地是在实践中传递实用的技巧和方法。《航天型号可编程逻辑逻辑器件软件验证技术与实践》的内容覆盖了可编程逻辑器件软件验证过程全流程，非常适合广大可编程逻辑器件软件设计者、验证者以及研制管理者，也可作为可编程逻辑器件软件相关专业的教学用书。

暂缺《航天型号可编程逻辑逻辑器件软件验证技术与实践》作者简介

第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 设计检查
4．1．1 文档检查
4．1．2 代码检查
4．1．3 跨时钟域检查
4．2 功能仿真
4．2．1 功能仿真的目的
4．2．2 功能仿真的输入
4．2．3 功能仿真的方法和过程
4．2．4 功能仿真覆盖率收集
……
第5章 航天型号可编程逻辑器件软件验证实践
第6章 航天型号可编程逻辑器件软件验证经验
参考文献