集成电路技术分享

 找回密码
 我要注册

QQ登录

只需一步,快速开始

搜索
12
返回列表 发新帖
楼主: lcytms

EDA软件巡礼6:Formality

[复制链接]
 楼主| 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 ... s/installation.html


请问谁有formality的安装教程的

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


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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?我要注册

x
 楼主| lcytms 发表于 2019-6-3 17:13:45 | 显示全部楼层
本帖最后由 lcytms 于 2019-6-3 17:15 编辑

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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?我要注册

x
zxopenljx 发表于 2020-5-7 15:55:39 | 显示全部楼层
EDA软件巡礼6:Formality
zxopenljx 发表于 2023-8-23 16:58:55 | 显示全部楼层
EDA软件巡礼6:Formality
您需要登录后才可以回帖 登录 | 我要注册

本版积分规则

关闭

站长推荐上一条 /1 下一条

QQ|小黑屋|手机版|Archiver|集成电路技术分享 ( 京ICP备20003123号-1 )

GMT+8, 2024-4-27 01:20 , Processed in 0.072261 second(s), 17 queries .

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表