GOF套件 下载

发布日期：2023年08月15日

GOF套件包含四个组件：ECO、Formal、LEC和Debug。

更新内容：

• GOF Debug：增加了将LEC Fail反例反标到电路图，来更快速地找到不等价的rootcause
• GOF ECO：增加了SVF中的multibit指导信息的支持
• GOF ECO：增加了支持反标SDF来更准确地报告时序
• GOF ECO：修复了边界优化ECO中的一个BUG
• GOF ECO：修复了RTL Compare中读取SystemVerilog语法的RTL中的一个BUG
• GOF ECO：修复了register merge时的一个BUG