可替代Vivado的开源编译工具链
笔者曾经使用 Digital IDE 在 VSCode 中进行文件编辑并使用 Vivado 进行综合、布线和生成比特流。近来笔者苦于 Vivado 编译过程过慢而希望寻找速度更快的（开源）解决方案。在 Gemini 和 Claude 的帮助下成功部署。笔者使用的是基于 Xilinx xc7a35tfgg484-2 芯片的开发板。 需求清单 Docker MSYS2 openFPGALoader Zadig 基于 Xilinx xc7a35tfgg484-2 芯片的开发板 部署对于 xc7a35tfgg484-2 型号的 Xilinx 开发板，目前有完善的全开源解决方案： 综合与布线：Yosys + nextpnr-xilinx 比特流生成：nextpnr-xilinx 烧录：openFPGALoader 其中第一步与第二步暂无 Windows 下的解决方案，但有完善的 docker 镜像 regymm/openxc7。openFPGALoader 可以通过 MSYS2 在 Windows 上安装。MSYS2 是一个在 Windows 上模拟 Unix 命令行和环境的模拟...
概率论笔记
笔者于2025年春季学期修习了沈渊老师开设的概率论与随机过程 (1)（英）课程，并参照课件组织了笔记，开源在此repo中。 一些笔记的页面截图：