Yosys工具中AIG文件版本信息控制的新特性解析

在数字电路设计领域，Yosys作为一款开源的硬件描述语言综合工具，其生成的AIG（And-Inverter Graph）文件格式被广泛应用于形式验证和逻辑综合场景。近期Yosys项目引入了一项重要改进——通过--no-version参数控制版本信息的输出，这一特性显著提升了工程的可复现性。

传统工作流程中，Yosys默认会在AIG文件的注释段写入工具版本信息。这种设计虽然有助于问题追踪，但在需要严格版本控制的场景下（如学术研究、工业级EDA流程），版本信息的自动更新会导致构建结果的不可复现性。典型的场景包括：

1. 持续集成环境中工具链自动更新时
2. 跨团队协作时成员使用不同Yosys版本
3. 需要长期存档的参考设计实现

新引入的--no-version命令行参数通过以下机制工作：

• 在调用write_aiger命令时抑制版本注释的生成
• 保持AIG文件核心逻辑结构的完整性
• 不影响其他元数据（如模块层次、信号名称）的输出

从工程实践角度看，该特性带来了多重优势：

1. 构建稳定性：消除因工具版本变更导致的文件差异
2. 版本控制友好：避免无关的版本信息污染git变更记录
3. 跨平台一致性：确保不同环境生成的AIG文件二进制一致

对于需要向后兼容的场景，用户仍可通过默认方式获取版本信息。这种灵活的设计既满足了严格版本控制的需求，又保留了必要的调试信息获取渠道。

这项改进体现了Yosys团队对工业实践需求的快速响应，也展示了开源EDA工具在可配置性方面的持续进化。建议所有对构建可复现性有要求的项目考虑采用这一新特性。