EN
注册
登录
文献直达
发Paper
求职
问答
导师
期刊
资讯
首页
提问
当前位置:
X-MOL首页
›
X-MOL问答
› 问题详细
国内外芯片形式验证强组?
计算机
软件工程
系统架构
硬件
计算机
软件工程
系统架构
硬件
做芯片形式验证的强组,立足于模型检测、定理证明、符号执行,经常能发DAC,ICCAD,DATE,ASP-DAC,TCAD等。目前正在找相关方向的博后职位。
追梦
编辑于 2024-01-13 11:55
关注问题
分享
举报
广告等垃圾信息
不友善的内容
违反法律法规的内容
不宜公开讨论的政治内容
其他
追加
取消
0个回答
按投票排序
|
按时间倒序
匿名
down
wechat
bug
bug