MARC状态：审校 文献类型：中文图书 浏览次数：60
- 题名/责任者:
- 航天型号可编程逻辑器件软件验证技术与实践/祝宇, 董冠涛, 刘伟编著
- 出版发行项:
- 北京:中国宇航出版社,2019
- ISBN及定价:
- 978-7-5159-1713-9/CNY68.00
- 载体形态项:
- 209页:图;26cm
- 个人责任者:
- 祝宇 编著
- 个人责任者:
- 董冠涛 编著
- 个人责任者:
- 刘伟 编著
- 学科主题:
- 航天-可编程序逻辑阵列-应用软件工程
- 中图法分类号:
- V4-39
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书第1章简要介绍了可编程逻辑器件的原理及内部结构, 同时介绍了其在航天型号中的应用及国产化现状。第2章介绍了航天型号可编程逻辑器件软件开发技术要求及过程管理。第3章说明了航天型号可编程逻辑器件软件总体验证要求, 每种验证类型须覆盖的测试点及验证流程。第4章说明了在可编程逻辑器件软件中采用的验证技术, 并举例说明了每种验证技术的验证方法及注意事项。第5章通过典型实践, 从需求出发, 运用前述验证方法和技术进行全流程验证, 并给出了问题报告的示例、回归验证的影响城分析方法和验证总结中须包含的内容等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| V4-39/1 | C001432539 | 2019 |  理科阅览区
|
可借 | 理科阅览区 |
| V4-39/1 | C001432540 | 2019 | 理科阅览区
|
可借 | 理科阅览区 |
| V4-39/1 | C001432541 | 2019 | 理科阅览区
|
可借 | 总服务台 |
显示全部馆藏信息