《航天型号可编程逻辑逻辑器件软件验证技术与实践》祝宇，董冠涛，刘伟 著 中国宇航出版社 2019/12/1

内容简介：

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

目录：