博客

在前述章节中，我们着重研究了发射机与接收节点之间的同步问题。通过整合前面章节内容，帧恢复现在成为可能，我们已达到成功解码帧的门槛

除巴克序列外，还有其他序列在除特定时刻外具有最小互相关的类似特性。两个流行的选择是Zadoff-Chu序列和Golay互补序列，它们目前均被纳入现有无线标准

在 FPGA 的时序设计与分析中，建立时间（Setup Time）和保持时间（Hold Time）是保障数字电路稳定工作的核心时序参数

如果你做过一定规模的 FPGA / SoC 项目， 一定遇到过这样一种非常折磨人的问题：系统偶尔起不来;重新按一次 reset,又好了

今天，我们将剥开 IP 核的外壳，深入到底层原语（Primitive）层面，全方位解析 Xilinx 7 系列中最强大的混合模式时钟管理器——MMCME2_ADV。

Vivado增量编译包括增量综合和增量布局布线，增量布局布线最耗时，推荐设置增量布局布线，以有效降低编译时间。

这一篇，我们不再讲“怎么做测试”， 而是从审查与取证的角度，回答一个核心问题：DO‑254 物理测试，究竟是如何支撑审查通过的？

vivado仿真真的很慢，所以FPGA开发一般都用modelsim仿真，这里分享一个vivado仿真加速的设置方法。

使用 Python/MyHDL 创建自定义 FPGA IP，与 Vivado 集成，并通过 PYNQ 进行控制——实现软件上的简单硬件设计。

两个 N 位二进制数相加，为防止溢出，应将和设置为 N+1 位。对于无符号 N 位二进制数，最大值为2^N - 1

采用if语句描述组合逻辑时，对于不完备的if语句，即缺少else分支的if语句要格外关注，因为综合工具会将其视为锁存器。

尽管当用互斥条件指定if-elsif-else语句和case语句等效，两者都会被综合为多路选择器（MUX），不再具有优先级，但仍建议优先使用case语句

如果说前面的物理测试是在证明“它能正常工作”， 那么鲁棒性测试要证明的是： ——当一切不正常时，它依然是安全的。在 DO‑254 DAL‑A 项目中， 鲁棒性测试不是“加分项”，而是硬门槛。

在这个示例项目中，使用 AMD Kria™ KV260 Vision AI Starter Kit 结合 TurtleBot3 Waffle 移动机器人平台 来构建一个真实可运行的 ROS 2 系统。

仿真没抓到 CDC， 那工程验证到底该信谁？这一篇，我们把这件事彻底讲清楚。

“我们已经做了板级测试，也在 FPGA 上跑过程序了， 这还不算物理测试吗？”如果你在 DO‑254 项目里问过、或被问过这句话，那么这一篇文章，就是写给你的。

如果你做过跨时钟域设计，那“亚稳态”这三个字一定不陌生。但奇怪的是：教科书里把它说得非常吓人  

Liberouter的Network Development Kit（NDK） 是一套专门用来快速开发 FPGA 加速网络应用的开源框架，是连接高速网络接口、FPGA 逻辑与主机处理器 的工程级利器。

做FPGA的，大多数人第一次被 CDC（Clock Domain Crossing）教育， 往往不是在仿真阶段，而是在系统已经交付之后。

在机器人与自主系统开发中，ROS 2 已经成为事实标准，但当它遇到 FPGA / Zynq / Kria 这类异构平台时，工程复杂度往往直线上升。