机读格式显示(MARC)

• 000 01339nam0 2200277 450

• 001 0000389753

• 005 20210507091700.0

• 010 __ |a 978-7-5159-1713-9 |d CNY68.00

• 100 __ |a 20200313d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 航天型号可编程逻辑器件软件验证技术与实践 |A hang tian xing hao ke bian cheng luo ji qi jian ruan jian yan zheng ji shu yu shi jian |f 祝宇, 董冠涛, 刘伟编著

• 210 __ |a 北京 |c 中国宇航出版社 |d 2019

• 215 __ |a 209页 |c 图 |d 26cm

• 320 __ |a 有书目

• 330 __ |a 本书第1章简要介绍了可编程逻辑器件的原理及内部结构, 同时介绍了其在航天型号中的应用及国产化现状。第2章介绍了航天型号可编程逻辑器件软件开发技术要求及过程管理。第3章说明了航天型号可编程逻辑器件软件总体验证要求, 每种验证类型须覆盖的测试点及验证流程。第4章说明了在可编程逻辑器件软件中采用的验证技术, 并举例说明了每种验证技术的验证方法及注意事项。第5章通过典型实践, 从需求出发, 运用前述验证方法和技术进行全流程验证, 并给出了问题报告的示例、回归验证的影响城分析方法和验证总结中须包含的内容等。

• 606 0_ |a 航天 |A Hang Tian |x 可编程序逻辑阵列 |x 应用软件工程

• 690 __ |a V4-39 |v 5

• 701 _0 |a 祝宇 |A Zhu Yu |4 编著

• 701 _0 |a 董冠涛 |A Dong Guan Tao |4 编著

• 701 _0 |a 刘伟 |A Liu Wei |4 编著

• 801 _0 |a CN |b 湖北三新 |c 20210423

• 905 __ |a LJUZC |d V4-39/1

• 920 __ |a 222016 |z 1