航天型号可编程逻辑器件软件验证技术与实践_PDF下载[131MB-百度云]祝宇，董冠涛，刘伟编著

内容简介

[

　　《航天型号可编程逻辑逻辑器件软件验证技术与实践》系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。　　第1章简要介绍了可编程逻辑器件的原理及内部结构，同时介绍了其在航天型号中的应用及国产化现状。　　第2章介绍了航天型号可编程逻辑器件软件开发技术要求及过程管理。　　第3章详细说明了航天型号可编程逻辑器件软件总体验证要求，每种验证类型须覆盖的测试点及验证流程。　　第4章详细说明了在可编程逻辑器件软件中采用的验证技术，并举例说明了每种验证技术的验证方法及注意事项。　　第5章通过典型实践，从需求出发，运用前述验证方法和技术进行全流程验证，并给出了问题报告的示例、回归验证的影响域分析方法和验证总结中须包含的内容。　　第6章结合多年的可编程逻辑器件软件验证经验，归纳总结出可编程逻辑器件软件编程规范、安全可靠性设计、时序约束和典型问题集，用于指导可编程逻辑器件软件设计与验证工作。　　该书既有对基础理论知识的专门讲解，也有非常详细的实例演练和总结，更多地是在实践中传递实用的技巧和方法。　　《航天型号可编程逻辑逻辑器件软件验证技术与实践》的内容覆盖了可编程逻辑器件软件验证过程全流程，非常适合广大可编程逻辑器件软件设计者、验证者以及研制管理者，也可作为可编程逻辑器件软件相关专业的教学用书。

]

第1章可编程逻辑器件概述1．1 可编程逻辑器件的工作原理和内部结构1．1．1 CPLD工作原理及内部结构1．1．2 FPGA工作原理及内部结构1．2 可编程逻辑器件软件开发环境及工艺特点1．3 可编程逻辑器件在航天型号中的应用1．3．1 高速通信1．3．2 电子对抗1．3．3 数字图像处理1．3．4 逻辑接口1．3．5 信息安全1．4 可编程逻辑器件国产化现状第2章航天型号可编程逻辑器件软件开发通用要求2．1 研制技术流程2．1．1 任务分析2．1．2 需求分析2．1．3 设计验证实现2．1．4 功能验证2．1．5 综合布局布线2．1．6 时序验证2．1．7 编程下载2．1．8 设计确认2．1．9 第三方验证2．1．10 验收2．1．11 固化和落焊2．1．12 运行维护2．2 研制可行性分析2．2．1 沿用可行性分析2．2．2 配置参数修改可行性分析2．2．3 适应性修改可行性分析2．3 支持与管理活动2．3．1 配置管理2．3．2 质量保证2．3．3 纠正措施2．3．4 风险管理2．3．5 保密性有关活动2．3．6 分承制方管理2．3．7 与独立验证和确认机构建立联系2．3．8 与相关开发方的协调第3章航天型号可编程逻辑器件软件测试要求及流程3．1 测试要求3．1．1 测试级别3．1．2 测试类型3．2 验证流程3．2．1 测试目的3．2．2 测试内容3．2．3 测试过程3．2．4 验证问题处理要求第4章航天型号可编程逻辑器件软件验证技术4．1 设计检查4．1．1 文档检查4．1．2 代码检查4．1．3 跨时钟域检查4．2 功能仿真4．2．1 功能仿真的目的4．2．2 功能仿真的输入4．2．3 功能仿真的方法和过程4．2．4 功能仿真覆盖率收集……第5章航天型号可编程逻辑器件软件验证实践第6章航天型号可编程逻辑器件软件验证经验参考文献