2023年8月15日,NanDigits GOF 10.7正式发布了。
更新内容:
GOF ECO: 增加了SVF中的multibit指导信息的支持
(相关资料图)
GOF ECO: 支持反标SDF来更准确地报告时序
GOF ECO: 修复了边界优化ECO中的一个BUG
GOF ECO: 修复了RTL Compare中读取SystemVerilog语法的RTL中的一个BUG
GOF 10.7包括4大组件:GOF ECO、GOF LEC、GOF Debug、GOF Formal。
GOF ECO是一款实用的芯片网表ECO软件,拥有自主完整的ECO方案,不需要第三方软件辅助。支持PreMask和PreMask ECO两个阶段,支持全自动的功能ECO、RTL辅助ECO、RTL Patch ECO、Metal Only ECO等多种ECO流程。详细介绍《随着芯片设计规模越来越大,芯片功能ECO难度成指数上升,我们究竟该如何面对》、《时序(Timing)对功能ECO有多重要》、《直接在网表中插入RTL来快速做芯片功能ECO》、《如何加快手工ECO》。
GOF LEC是一款芯片RTL与网表、网表与网表的逻辑等价性检查软件。无需SVF支持,由内部算法自动分析综合、DFT、布局布线过程中的各种高级优化策略,智能实现逻辑mapping,快速验证设计的等价性。详细介绍《GOF LEC——一款方便快捷的芯片逻辑一致性检查软件》、《上海某SOC设计公司客户分享使用NanDigits GOF的心得》。
GOF Debug是一款芯片网表查看和调试的软件。可用于快速分析门级电路网表功能、快速查看Drive和Load Cell、Fanin和Fanout、快速Trace时钟树和复位树,支持各个阶段网表。并且还可以直接在原理图上快速实现可性化网表ECO、网表统计分析等。详细介绍《GOF Debug——一款好用的芯片网表调试工具》、《如何加快手工ECO:可视化分析网表》、《如何加快手工ECO:对比两个网表的差异》。
GOF Formal是专门用于一款汽车电子芯片功能安全(FuSa)验证软件。验证芯片是否满足ISO26262的功能安全指标,和能达到的ASIL等级。不需要外部提供激励和testbench,GOF Formal利用形式验证的方法,并且可利用集群的算力并行计算,快速验证芯片的功能安全问题。详细介绍《介绍汽车芯片功能安全的SPFM、LFM,及其故障覆盖率的计算方法(一)》。
来自用户的评价
GOF非常敏捷易用,小小的工具却包含了ECO的全部功能。上手快,界面友好简洁。手动ECO是一大亮点,很直观地以电路图的形式进行网表改动。技术支持人员反应迅速又专业,是非常好的合作伙伴。
---- 后端设计经理,上海某通信芯片设计公司
我把GOF LEC Log里的输出信息手动设置到formality里,解决了formality一致性检查的问题。ECO方面,普通的ECO完全可以依赖工具自动完成,为了eco的最简单化,可以手动微调。与其他工具相比,报告比较友好,eco的效率较高。相信NanDigits GOF会越做越好。
---- 设计总监,上海某AI SOC芯片设计公司
GOF是当前业界的一款专业ECO软件。我们在使用中发现它的ECO流程非常简洁明快,既有命令行的自动ECO、DFT检查,也可以在图形界面下进行手动ECO。我们的项目就是首先进行手动ECO,然后使用自动ECO,最后再进行手动微调完成的。与其他软件相比,灵活性、专业性与易用性非常突出。GOF出色的技术支持是另一个突出特点,快速的服务响应、深入的技术探讨是其他大厂完全不能够相比的。相信以GOF出色的性能与服务,必将能在强手如林的芯片设计EDA软件行业占有一席之地。
---- 技术主管,无锡某数模混合芯片设计公司
1. 身量小,小小几M,就容纳下了ECO所需的各种功能,让人惊叹。2. 上手快,不需要太多复杂的配 置与脚本,就可以把CEO跑起来,为设计工程师赢得了最宝贵的时间。3. 技术支持响应快。不管是工具bug的修复 ,还是新功能的添加,都能得到很快的响应与解决, 一些大型工具厂商也无法相媲美的。
---- 技术主管,武汉某芯片设计公司
GOF是我用过的最好的ECO工具。GOF非常容易上手,只要花几分钟的时间就可以用于自己的项目。自动功能ECO是相当的傻瓜式,可以满足我们大部分的ECO案例。GOF大大地缩短了项目ECO周期。当然最棒的还是来自NanDigits的技术支持,当我们使用GOF过程中有任何问题,我们总能快速得到NanDigits的支持,问题得以很快解决。我信赖GOF,信赖NanDigits Design Automation。
---- 数字设计经理,上海某数模混合芯片设计公司
关于NanDigits Design Automation
Nandigits Design Automation于2007年成立,公司总部位于美国硅谷圣何塞(San Jose)。2016年10月在中国大陆成立销售和技术支持部门。我们是完整的芯片网表解决方案提供商,主要产品有网表功能ECO工具GOF ECO、逻辑等价性检查工具GOF LEC,网表调试工具GOF Debug、汽车电子功能安全验证的GOF Formal。到目前,我们已经帮助全球数十家芯片设计公司Tapeout超过100个项目。
关键词: