设为首页收藏本站
切换到宽版

 找回密码
 注册

手机号码，快捷登录

手机号码，快捷登录

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › 资源共享 › EDA资源使用讨论 › Formal Verification Platform
1 ...67891011121314... 28下一页
返回列表 发新帖
楼主: taiakun

Formal Verification Platform

[复制链接]
gyong22
发表于 2025-5-12 18:16:59 | 显示全部楼层
good to study
回复 支持 反对

使用道具 举报

发表于 2025-5-12 18:30:26 | 显示全部楼层
谢谢分享~~~
回复 支持 反对

使用道具 举报

xixilu
发表于 2025-5-12 18:39:50 | 显示全部楼层
好东西，看看
回复 支持 反对

使用道具 举报

发表于 2025-5-12 19:04:06 | 显示全部楼层
看看
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

发表于 2025-5-12 19:07:21 | 显示全部楼层
This is a good reference!

Thak you

EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

cxmm17
发表于 2025-5-12 19:12:37 | 显示全部楼层
can any guy share license is works with this ? Thank you
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

liaohw
发表于 2025-5-12 19:36:54 | 显示全部楼层
这是什么，谢谢分享
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2025-5-12 20:16:26 | 显示全部楼层
谢谢分享！！！
EETOP创芯人才网职位发布入口
回复 支持 反对

使用道具 举报

发表于 2025-5-12 20:20:21 | 显示全部楼层
thanks
EETOP创芯人才网简历投递入口
回复 支持 反对

使用道具 举报

发表于 2025-5-12 20:24:52 | 显示全部楼层
thanks
回复 支持 反对

使用道具 举报

下一页 »
1 ...67891011121314... 28下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|手机版|小黑屋|关于我们|联系我们|隐私声明|EETOP 创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2026-1-16 08:04 , Processed in 0.033780 second(s), 3 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

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