lcytms 发表于 2019-3-18 14:10:37

本帖最后由 lcytms 于 2019-3-18 14:12 编辑

参考链接：http://bbs.eetop.cn/thread-176944-1-1.html
                https://www.synopsys.com/support/licensing-installation-computeplatforms/installation.html


请问谁有formality的安装教程的

如果是linux版本的话，建议网上搜索synopsys linux安装，安装方式和DC类似，
都是首先安装installer 然后安装scl 之后使用installer来安装formality，之后使用win下LicGen--SSS---KeyGen生成的license就可以


可以上synopsys的网站看看
http://www.synopsys.com/install
全部工具的安装说明都有

lcytms 发表于 2019-6-3 17:13:45

本帖最后由 lcytms 于 2019-6-3 17:15 编辑

                     
下图是一个典型的ASIC 的验证过程，从中我们可以清楚地看到Formality和PrimeTime在数字设计过程中的作用。

zxopenljx 发表于 2020-5-7 15:55:39

EDA软件巡礼6：Formality

zxopenljx 发表于 2023-8-23 16:58:55

EDA软件巡礼6：Formality
页: 1 [2]
查看完整版本: EDA软件巡礼6：Formality