设为首页收藏本站
在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名：电子顶级开发网)

手机号码，快捷登录

手机号码，快捷登录

找回密码

  登录   注册  

快捷导航
创芯云服务  : 创芯大讲堂  | 创芯人才网 | 数字IC职业培训  EETOP诚邀线上IC培训讲师!
搜帖子
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证讨论 › 静态形式验证工具vc formal的资料哪位大侠有啊 ...
12
返回列表 发新帖
楼主: fengzhepianzhou

[求助] 静态形式验证工具vc formal的资料哪位大侠有啊

[复制链接]
iNostory
发表于 2023-7-11 21:59:29 | 显示全部楼层
有人有user guide吗？
畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
回复 支持 反对

举报

Bayamx
发表于 2023-12-19 16:47:28 | 显示全部楼层
有人有嘛？
畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
回复 支持 反对

举报

mar
发表于 2023-12-19 17:08:45 | 显示全部楼层
2021版的，供参考。
回复 支持 反对

举报

ytcx94
发表于 2024-1-22 22:07:09 | 显示全部楼层


sjzyt 发表于 2021-10-22 09:02
有人有user guide吗？


参考这个吧

eetop.cn_VC_Formal_Verification_UG,Version S-2021.09.pdf

17.62 MB, 下载次数: 29 , 下载积分: 资产 -6 信元, 下载支出 6 信元
回复 支持 反对

举报

sjzyt
发表于 2024-2-6 15:24:08 | 显示全部楼层


ytcx94 发表于 2024-1-22 22:07
参考这个吧


多谢大佬~  
畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
回复 支持 反对

举报

12
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-4-27 13:24 , Processed in 0.021678 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表