职位信息
职位名称 | 学历 | 需求人数 |
Formal property verification engineer | 硕士 | 1 |
需求专业: 集成电路科学与工程,电子科学与技术,电子与通信工程,电子信息,集成电路工程,微电子学与固体电子学,微电子科学与工程,集成电路设计,微电子科学与工程(卓越人才培养试验班),集成电路工程,电子与通信工程,电子信息,电子科学与技术,微电子学与固体电子学,电子信息,微电子学与固体电子学,信息与通信工程,电子与通信工程,集成电路设计,通信工程,集成电路设计与集成系统(通信系统),电子科学与技术,电子信息工程,电子信息,集成电路设计与集成系统,集成电路工程,信息网络,电子信息类,电子与信息,通信工程(含宽带网络、移动通信等) | ||
工作地点: 北京市海淀区 | ||
职位描述: 岗位职责:1.负责fomal ased 芯片验证平台的搭建;2.负责相关assumptions和assetion的创建,以及assetion coveage的收集。任职条件:1. 熟练掌握tcl脚本语言;2. 熟练掌握任意一种fomal 验证工具,vc fomal o jaspe gold;3 熟练掌握system Veilog sva 特性,以及assetion coveage相关的收集;4.了解对复杂模块输入空间的划分。5. 积极上进,有责任心,具备良好的沟通能力和团队合作能力。 |
简历接收
简历接收邮箱: ****
招聘简章
翼华科技是一家致力于高性能智能化网络算力芯片及AIGC算力集群解决方案的高科技创新企业。公司倡导 “共情、极致、担当”的企业文化,致力于成为在异构计算领域成为全球领先、国内头部的网络算力芯片及综合解决方案提供商。公司在上海、北京、深圳、杭州、西安、银川设立了六个研发中心。创始团队均来自于国际芯片巨头公司、全球头部通信设备制造商、互联网大厂及电信运营商。