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

书籍简介:

本书依据GJB9433—2018《军用可编程逻辑器件软件测试要求》，对可编程逻辑器件软件的开发要求、验证要求、验证流程及验证技术进行说明，并通过验证实践，进一步阐明可编程逻辑器件软件验证过程控制、验证技术要求及验证问题处理。同时根据多年的可编程逻辑器件软件验证经验，总结出了VHDL/Verilog编码要求、安全可靠性设计方法、时序约束及优化和典型问题分析。

书籍规格:

书籍信息归属:

航天型号可编程逻辑器件软件验证技术及实践是中国宇航出版社于2019.11出版的中图分类号为 V4-39 的主题关于 航天－可编程序逻辑阵列－应用软件工程 的书籍。