-
航天型号可编程逻辑器件软件验证技术与实践
¥57.8(8.5折)定价:¥68.0《航天型号可编程逻辑逻辑器件软件验证技术与实践》系统地论述了可编程逻辑器件软件:从研制阶段的研制流程要求,到可编程逻辑器件的软件测试要求;从源代码的规范性测试技术到功能级仿真,再到网表级功能和时序验证技术;从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。 第1章简要介绍了可编程逻辑器件的原理及内部结构,同时介绍了其在航天型号中的应用及国产化现状。 第2章介绍了航天型号可编