NanDigits GOF的常用启动参数介绍和举例

文摘   2024-07-29 12:05   上海  

一、NanDigits GOF的常用启动参数

-h

    打印本帮助信息

-version

    打印版本号

netlists

    (不带横杆,直接写网表名字)指定要加载的实现网表。可以有多个网表。

-lib

    指定lib库,包括stdcell库、SRAM lib等。多个库加多个“-lib”。

-v

    指定verilog库。“-v”指定的库会被当作blackbox处理,所以stdcell只能读取lib文件。

-run

    指定启动后自动运行的脚本,运行结束后会停在shell模式。

-shell

    在shell模式上运行,默认不打开GUI。但是可以在shell模式下再手工运行start_gui来启动GUI。

-o

    指定log文件名,默认是default gatesof.log。

-ref

    指定参考网表。通常是综合网表。 


二、举例

1、查看单个网表

gof -lib stdcell.lib apr.v

2、有多个lib库

gof -lib stdcell.lib -lib sram1.lib -lib sram2.lib apr.v

3、同时打开参考网表和实现网表

gof -lib stdcell.lib -ref syn.v apr.v

4、直接运行脚本

gof -run script.pl

5、在shell模式下运行

gof -shell -lib stdcell.lib -ref syn.v apr.v


关于NanDigits Design Automation

Nandigits Design Automation于2007年成立,公司总部位于美国硅谷圣何塞(San Jose)。2016年10月在中国大陆成立销售和技术支持部门。我们是完整的芯片网表解决方案提供商,主要产品有网表功能ECO工具GOF ECO、逻辑等价性检查工具GOF LEC,网表调试工具GOF Debug、汽车电子功能安全验证的GOF Formal。到目前,我们已经帮助全球数十家芯片设计公司Tapeout超过100个项目。

欢迎评估试用

中国大陆

技术支持:support@nandigits.cn

美国总部

技术支持:support@nandigits.com

官方网站

https://nandigits.co

联系评估和试用

https://nandigits.cn/license/getlic.php


我们建了一个微信讨论群
扫码备注“加ECO群,公司+职位
欢迎关注NanDigits
完整的芯片网表解决方案提供商
☟☟点击“阅读原文”申请评估试用☟☟

NanDigits
专注芯片功能ECO、逻辑等价性检查、网表调试、形式验证等技术的研究,及其设计自动化的实现。