🚀 宇航级FPGA · 实战目录

30章 完整版
⭐ 友好色系 逻辑开发 · 验证 · 可靠性
1
宇航级FPGA概述

什么是宇航级FPGA与工业/军品区别Xilinx XQRMicrochip RT

卫星 · 深空探测器 · 运载火箭

2
开发环境搭建

Vivado/ISE安装License激活JTAG连接VCU118上电

硬件调试器 · 目标板卡验证

3
逻辑设计基础 (一)

Verilog/VHDL语法模块化设计组合/时序逻辑同步/异步复位

4
逻辑设计基础 (二)

状态机 Moore/MealyFSM编码三态门双向IO

二进制 · 格雷码 · 独热码

5
时序约束入门

主时钟/生成时钟输入输出延迟False PathMulticycle Path

6
静态时序分析 (STA)

Setup/Hold时序路径分析slack报告违例修复

7
仿真验证基础

Testbench编写ModelSim/Vivado Sim波形查看SVA入门

8
代码覆盖率与功能覆盖率

行/条件/翻转覆盖率功能覆盖率模型

9
形式化验证入门

等价性检查(EC)属性检查JasperGold

10
宇航级设计可靠性 (一)

单粒子效应 SEU/SET/SEL三模冗余 TMREDAC纠错码

11
宇航级设计可靠性 (二)

看门狗 WDT电源监控/上电时序CDC处理同步器

12
宇航级设计可靠性 (三)

抗辐射布局布线冗余存储单元状态机加固

13
高速接口设计 (一)

LVDS/SERDESGTP/GTX收发器眼图测试链路调优

14
高速接口设计 (二)

DDR3/DDR4控制器AXI4总线MIG IP核

15
宇航级通信协议

SpaceWire协议栈CAN总线1553B总线

16
图像处理在FPGA中的实现

CMOS传感器接口色彩空间转换Sobel/Canny加速

17
数字信号处理 (DSP) 实现

FIR/IIR滤波器FFT IP核CORDIC算法

18
嵌入式系统集成

MicroBlaze/RISC-VAXI互联UART/SPI/I2C

19
在线调试技术

ChipScope/ILAVIO/JTAG回读触发条件设置

20
比特流安全与加密

AES加密比特流DNA反克隆eFUSE密钥管理

21
宇航级测试与筛选

老化测试 Burn-in温度循环辐射测试

22
项目管理与版本控制

Git应用IP核管理文档化设计

23
高级综合 (HLS) 入门

Vivado HLSC/C++转RTLPipeline/Unroll

24
功耗分析与优化

动态/静态功耗时钟门控操作数隔离功耗评估

25
多时钟域设计进阶

异步FIFO握手协议格雷码指针同步

26
复位策略与可靠性

全局/局部复位复位树异步复位同步释放

27
DFT (可测试性设计)

扫描链插入BIST边界扫描JTAG

28
国产化FPGA开发

复旦微/紫光同创工具链使用IP移植

29
综合项目实战 (一)

星载数据采集系统需求分析模块划分RTL编码仿真

30
综合项目实战 (二)

系统集成时序收敛硬件调试文档评审