手机号码，快捷登录
找回密码
登录 注册
举报
jacke1234 发表于 2019-8-1 10:02 形式化验证工具有Cadence Jasper，Synopsys VC Formal。还有其他公司的产品。你看看你们公司有那种工具。有 ...
本版积分规则 发表回复 回帖后跳转到最后一页
查看 »
小黑屋| 手机版| 关于我们| 联系我们| 隐私声明| EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )
GMT+8, 2025-1-23 11:49 , Processed in 0.021689 second(s), 17 queries , Gzip On.
/1 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2024-8-29 11:47:27
