EN
当前位置： X-MOL首页 › X-MOL问答 › 问题详细
国内外芯片形式验证强组?
  • 计算机
  • 软件工程
  • 系统架构
  • 硬件
    •

做芯片形式验证的强组，立足于模型检测、定理证明、符号执行，经常能发DAC，ICCAD，DATE，ASP-DAC，TCAD等。目前正在找相关方向的博后职位。

追梦 编辑于 2024-01-13 11:55 关注问题 分享 举报
0个回答
按投票排序 | 按时间倒序
阿拉丁
教育学优质期刊列表
机器视觉光流体学光机电一体化
生物过程动态模型
Springer旗下全新催化方向高质新刊
风险管理自然灾害预警
可持续能源系统
1111购书享好礼-信息流
动物学生物学
心理学Q1期刊
编辑润色服务全线九折优惠
系统生物学合成生物学
英语语言编辑 翻译加编辑
专注于基础生命科学与临床研究的交叉领域
遥感数据采集
数字地球
开学添书香，满额有好礼
加速出版服务
传播分子、细胞和发育生物学领域的重大发现
环境管理资源效率浪费最小化
先进材料生物材料
聚焦分子细胞和生物体生物学
“转化老年科学”.正在征稿
化学工程
wiley你是哪种学术人格
细胞生物学
100+材料学期刊
人工智能新刊
图书出版流程
征集眼内治疗给药新技术
英语语言编辑服务
快速找到合适的投稿机会
动态系统的数学与计算机建模
热点论文一站获取
定位全球科研英才
中国图象图形学学会合作刊
东北石油大学合作期刊
动物源性食品遗传学与育种
专业英语编辑服务
浙大
罗文大学
浙江大学
化学所
新加坡国立
南科大
中科院
南科大
北京大学
南科大
ACS材料视界
down
wechat
bug