航天型号可编程逻辑器件软件验证技术与实践--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

本书系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。

第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 功能仿真覆盖率收集
4.3 门级仿真
4.3.1 门级仿真的目的和前提
4.3.2 门级仿真的方法和过程
4.4 时序仿真
4.4.1 时序仿真的目的和前提
4.4.2 时序仿真的方法和过程
4.5 静态时序分析
4.5.1 静态时序分析概述
4.5.2 静态时序分析方法
4.6 逻辑等效性检查
4.6.1 启动
4.6.2 加载指导文件
4.6.3 加载参考设计和被验证设计
4.6.4 执行setup
4.6.5 执行match
4.6.6 执行verify
4.6.7 注意事项
4.7 实物测试
4.7.1 实物测试的主要内容
4.7.2 实物测试的方法
第5章航天型号可编程逻辑器件软件验证实践
5.1 灰度图像信息采集FPGA逻辑需求说明
5.1.1 功能需求说明
5.1.2 开发环境说明
5.1.3 程序设计
5.2 灰度图像信息采集FPGA逻辑验证
5.2.1 代码审查
5.2.2 仿真验证
5.2.3 静态时序分析
5.2.4 跨时钟域检查
5.2.5 逻辑等效性检查
5.2.6 实物测试
5.3 灰度图像信息采集FPGA逻辑问题报告单
5.4 灰度图像信息采集FPGA逻辑回归验证
5.5 灰度图像信息采集FPGA逻辑验证总结
第6章航天型号可编程逻辑器件软件验证经验
6.1 VHDL和Verilog语言设计规则
6.1.1 VHDL和Verilog语言简介
6.1.2 VHDL和Verilog语言设计规则介绍
6.2 安全性、可靠性设计方法
6.2.1 速度与面积设计
6.2.2 状态机设计
6.2.3 时钟信号设计
6.2.4 复位信号设计
6.2.5 跨时钟域信号处理
6.2.6 信号传输设计
6.2.7 FPGA开发软件版本要求
6.2.8 FPGA器件选择要求
6.2.9 设计约束要求
6.2.10 时钟管理模块使用要求
6.2.11 余量设计
6.2.12 边界安全性设计
6.2.13 内部信号设计
6.2.14 中断设计
6.2.15 内部存储区设置要求
6.2.16 内部DSP设计要求
6.2.17 模块扇入扇出要求
6.2.18 信号扇入扇出要求
6.2.19 管脚设计
6.2.20 抗单粒子翻转安全性设计
6.2.21 高级语言编程
6.2.22 清理软件多余物
6.2.23 容错设计
6.3 时序约柬及典型时序优化方法
6.3.1 时序相关基本概念
6.3.2 可编程逻辑器件时序约束设计
6.3.3 典型时序优化方法
6.4 测试中发现的典型缺陷
6.4.1 系统设计类
6.4.2 接口设计类
6.4.3 时钟／跨时钟域处理类
6.4.4 复位及初始化类
6.4.5 设计约束类
6.4.6 健壮性设计类
6.4.7 状态机类
6.4.8 编码规范类
参考文献

航天型号可编程逻辑器件软件验证技术与实践

库存： {{selectedSku?.stock}} 库存充足