关于我

把通信、硬件与软件,连成可验证的系统。

我关注通信与数字信号处理、FPGA 与嵌入式,以及支撑验证和交付的软件工具。这个网站记录问题如何被定义、实现、验证和整理,而不只展示最后的结果。

方向

我正在连接的三条主线

方向并非彼此分开的标签;它们共同服务于从信号与算法到硬件行为,再到可复现交付的完整链路。

01

通信与 DSP

把调制解调、采样、频谱、误码率和定点误差,从公式推进到参考模型与可观察数据。

  • 调制解调
  • 采样与频谱
  • 定点实现
02

FPGA 与嵌入式

用 RTL、测试平台、时序约束和板级接口建立可判断、可定位、可继续集成的硬件实现。

  • Verilog
  • STM32 / FreeRTOS
  • 板级接口
03

软件与交付

让脚本、数据库、容器和技术文档承担参考验证、数据展示、环境复现与成果发布。

  • Python / MATLAB
  • 数据库 / Docker
  • 测试与文档

证据边界

把不同验证层级分开说明。

仿真通过、工程编译通过、时序通过和实物验证不是同一件事。页面会分别说明已有证据;尚未进行的硬件验收也会保留为明确限制,而不会提前写成结果。