我们在 A7-100T 上对比了 Vivado 与 yosys + nextpnr 的时序与资源结果,给出可复现的约束写法与差异说明,方便教学与开源项目选型。针对小容量器件的开源流程验证,含时序收敛差异与资源占用对比。