al-nafisah/fpga-project-analyzer 是一个 Python 命令行工具,把 Vivado、Zynq、PYNQ 项目的连接结构以离线 HTML 图表呈现。按仓库说明,这些图表为 Vivado 风格,并支持逐步进入原理图内部进行探索。FACTS 中未给出单独的最新版发行版本号。该仓库采用 MIT 许可证,同时也以 AI 编码代理可用的技能形式发布。
该工具在查看设计连接结构的同时,把时钟域跨越、缺失的引脚约束、复位极性、地址映射等列为需要检查的项目。时钟域跨越(clock domain crossing)是指信号在不同时钟区域之间来回传递的节点。README 举出了这样的案例:即使 Vivado 标记为时序通过的设计,也会发现缺失的引脚约束和异步时钟跨越问题。因此,它的重点在于找出仅凭时序是否通过就可能漏掉的结构性检查候选项。
不过,不借助 Vivado 阅读 RTL 分析存在局限,图表和检查结果也不能替代对原始设计的验证。README 同样把发现项描述为需要在原始设计中确认的候选项,而非已确定的缺陷。因此,更准确的做法是把该工具的输出当作寻找需要进一步复核之处的资料,而不是用来断定设计存在问题。