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

　可编程逻辑器件已广泛应用于航天型号，飞行控制、雷达、基带信号处理、遥测遥控、图像处理、伺服、加解密等领域的关键设备中都有它的身影。从基本的逻辑控制到复杂的信号处理，从GAL、PAL到CPLD，再到FPGA，从商业级芯片到宇航级芯片，从进口器件到国产器件，航天型号应用已基本涵盖了可编程逻辑器件的所有种类。可编程逻辑器件已经成为航天型号不可或缺的重要器件。
　　航天型号的特殊性要求，决定了软件测试是其研制过程中的关键环节，软件测试结论是支撑型号转阶段或定型鉴定的重要依据。随着可编程逻辑器件软件在型号中扮演的角色越来越重要，其受关注的程度也在不断提高。航天型号中将可编程逻辑器件软件作为单独软件配置项进行管理已有近20年的时间，这些年来，航天型号的发射有成功也有失败，在失败的案例中有软件问题也有硬件问题，我们从中积累了大量的工程经验。
　　航天型号从立项开始就引入了质量的概念，在方案论证、需求分析阶段，进行了结构划分、功能分解等，确保了需求分析质量；在研制阶段，引入第二方内部测试、第三方外部测试、配置管理、质量保证等，确保了研制质量；在定型／鉴定阶段，进行定型／鉴定测评、用户试用等，确保了交付质量。总之，一切措施和手段都是为了保证航天型号的质量。
　　同样，本书的编写也是着眼于航天型号的质量。本书系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。
　　第1章简要介绍了可编程逻辑器件的原理及内部结构，同时介绍了其在航天型号中的应用及国产化现状。
　　第2章介绍了航天型号可编程逻辑器件软件开发技术要求及过程管理。
　　第3章详细说明了航天型号可编程逻辑器件软件总体验证要求，每种验证类型须覆盖的测试点及验证流程。
　　第4章详细说明了在可编程逻辑器件软件中采用的验证技术，并举例说明了每种验证技术的验证方法及注意事项。
　　第5章通过典型实践，从需求出发，运用前述验证方法和技术进行全流程验证，并给出了问题报告的示例、回归验证的影响域分析方法和验证总结中须包含的内容。
　　第6章结合多年的可编程逻辑器件软件验证经验，归纳总结出可编程逻辑器件软件编程规范、安全可靠性设计、时序约束和典型问题集，用于指导可编程逻辑器件软件设计与验证工作。
　　本书既有对基础理论知识的专门讲解，也有非常详细的实例演练和总结，更多地是在实践中传递实用的技巧和方法。本书的内容覆盖了可编程逻辑器件软件验证过程全流程，非常适合广大可编程逻辑器件软件设计者、验证者以及研制管理者，也可作为可编程逻辑器件软件相关专业的教学用书。
　　在本书的编写过程中，引入了大量参考文献，不少资料来自Xilinx公司和Altera公司的使用手册和芯片介绍以及同行业的科研成果，对此表示衷心的感谢。感谢中国航天科技集团有限公司软件评测中心的张硕、滑海、崔强强、曹建勋、李亚、李振国、郭栋参与编制开发流程、验证技术与实践、安全可靠性设计、典型问题等内容，感谢飞航软件测评中心的陈鹏、季微微、贺丽红、张骢、李春静参与编制软件验证要求和流程及安全编码规则等内容。感谢张幼春、孙凤丽、贾之楠对本书的出版给予的大力支持。
　　由于作者水平有限，书中难免有疏漏之处，敬请专家和读者批评指正。

《航天型号可编程逻辑逻辑器件软件验证技术与实践》系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。
　　第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章 航天型号可编程逻辑器件软件验证经验
参考文献

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