上海翼华科技有限公司
Formal property verification工程师
20-40K·14薪
北京
不限
硕士
全职
职位描述
岗位职责：
1.负责formal based 芯片验证平台的搭建；
2.负责相关assumptions和assertion的创建，以及assertion coverage的收集。
任职条件：
1. 熟练掌握tcl脚本语言；
2. 熟练掌握任意一种formal 验证工具，vc formal or jasper gold；
3 熟练掌握system Verilog sva 特性，以及assertion coverage相关的收集；
4.了解对复杂模块输入空间的划分。
1.负责formal based 芯片验证平台的搭建；
2.负责相关assumptions和assertion的创建，以及assertion coverage的收集。
任职条件：
1. 熟练掌握tcl脚本语言；
2. 熟练掌握任意一种formal 验证工具，vc formal or jasper gold；
3 熟练掌握system Verilog sva 特性，以及assertion coverage相关的收集；
4.了解对复杂模块输入空间的划分。
公司介绍
翼华科技是一家致力于高性能智能化网络算力芯片及AIGC算力集群解决方案的高科技创新企业。公司倡导 “共情、极致、担当”的企业文化，致力于成为在异构计算领域成为全球领先、国内头部的网络算力芯片及综合解决方案提供商。公司在上海、北京、深圳、杭州、西安、银川设立了六个研发中心。创始团队均来自于国际芯片巨头公司、全球头部通信设备制造商、互联网大厂及电信运营商。
北京海淀区北京理工大学中关村校区国防科技园6号楼
相似职位
