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