000    nam0
001 __ 2019236979
005 __ 20191031213253.0
010 __ ■a978-7-5159-1713-9■dCNY88.00
100 __ ■a20191031d2019    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a航天型号可编程逻辑器件软件验证技术及实践■9hang tian xing hao ke bian cheng luo ji qi jian ruan jian yan zheng ji shu ji shi jian■f祝宇,董冠涛,刘伟著
210 __ ■a北京■c中国宇航出版社■d2019.11
215 __ ■d26cm
330 __ ■a本书依据GJB9433—2018《军用可编程逻辑器件软件测试要求》，对可编程逻辑器件软件的开发要求、验证要求、验证流程及验证技术进行说明，并通过验证实践，进一步阐明可编程逻辑器件软件验证过程控制、验证技术要求及验证问题处理。同时根据多年的可编程逻辑器件软件验证经验，总结出了VHDL/Verilog编码要求、安全可靠性设计方法、时序约束及优化和典型问题分析。
606 0_ ■a航天■x可编程序逻辑阵列■x应用软件工程
690 __ ■aV4-39■v5
701 _0 ■a祝宇■9zhu yu■4伟著
701 _0 ■a董冠涛■9dong guan tao■4伟著
701 _0 ■a刘伟■9liu wei■4著
801 _0 ■aCN■b91CIP■c20191031
905 __ ■bH00260913■aTSG■dV4-39■e0001■f1
906 __ ■d88.00