|
题名:
|
航天型号可编程逻辑器件软件验证技术及实践 / 祝宇，董冠涛，刘伟编著 , |
|
ISBN:
|
978-7-5159-1713-9 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
209页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 中国宇航出版社 出版日期： 2019 |
|
内容提要:
|
本书依据GJB9433—2018《军用可编程逻辑器件软件测试要求》，对可编程逻辑器件软件的开发要求、验证要求、验证流程及验证技术进行说明，并通过验证实践，进一步阐明可编程逻辑器件软件验证过程控制、验证技术要求及验证问题处理。同时根据多年的可编程逻辑器件软件验证经验，总结出了VHDL/Verilog编码要求、安全可靠性设计方法、时序约束及优化和典型问题分析。 |
|
主题词:
|
航天 可编程序逻辑阵列 |
|
中图分类法:
|
V4-39 版次： 5 |
|
主要责任者:
|
祝宇 编著 |
|
主要责任者:
|
董冠涛 编著 |
|
主要责任者:
|
刘伟 编著 |
|
索书号:
|
3 |