机读格式显示(MARC)

• 000 01185nam0 2200277 450

• 001 0000770430

• 005 20200708095800.0

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

• 100 __ |a 20200323d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

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

• 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 HDUL |c 20200708

• 905 __ |a HDUL |d V4-39/330

• 920 __ |a 233030 |z 1