[北京]翼华科技（北京）有限公司

职位：Formal property verification engineer
发布时间：2025-01-07
工作地点：北京
信息来源：北京航空航天大学
职位类型：全职
职位描述
翼华科技（北京）有限公司
发布时间：2025-01-03
职位名称:Formal property verification engineer
学历:硕士
需求人数:1
需求专业:集成电路科学与工程,电子科学与技术,电子与通信工程,电子信息,集成电路工程,微电子学与固体电子学,微电子科学与工程,集成电路设计,微电子科学与工程(卓越人才培养试验班),集成电路工程,电子与通信工程,电子信息,电子科学与技术,微电子学与固体电子学,电子信息,微电子学与固体电子学,信息与通信工程,电子与通信工程,集成电路设计,通信工程,集成电路设计与集成系统（通信系统）,电子科学与技术,电子信息工程,电子信息,集成电路设计与集成系统,集成电路工程,信息网络,电子信息类,电子与信息,通信工程(含宽带网络、移动通信等)
|||需求专业:电子信息,微电子学与固体电子学,微电子科学与工程,通信工程(含宽带网络、移动通信等),电子与通信工程,集成电路科学与工程,集成电路设计与集成系统,电子科学与技术,信息网络,电子信息类,通信工程,集成电路设计与集成系统（通信系统）,电子信息工程,微电子科学与工程(卓越人才培养试验班),电子与信息,集成电路设计,信息与通信工程,集成电路工程
工作地点:北京市海淀区
职位描述:岗位职责：
1.负责formal based 芯片验证平台的搭建；
2.负责相关assumptions和assertion的创建，以及assertion coverage的收集。

任职条件：
1. 熟练掌握tcl脚本语言；
2. 熟练掌握任意一种formal 验证工具，vc formal or jasper gold；
3 熟练掌握system Verilog sva 特性，以及assertion coverage相关的收集；
4.了解对复杂模块输入空间的划分。
5. 积极上进，有责任心，具备良好的沟通能力和团队合作能力。
简历接收邮箱:tanghuanhuan@

翼华科技是一家致力于高性能智能化网络算力芯片及AIGC算力集群解决方案的高科技创新企业。公司倡导 “共情、极致、担当”的企业文化，致力于成为在异构计算领域成为全球领先、国内头部的网络算力芯片及综合解决方案提供商。公司在上海、北京、深圳、杭州、西安、银川设立了六个研发中心。创始团队均来自于国际芯片巨头公司、全球头部通信设备制造商、互联网大厂及电信运营商。
","shortContent":"翼华科技是一家致力于高性能智能化网络算力芯片及AIGC算力集群解决方案的高科技创新企业。公司倡导 “共情、极致、担当”的企业文化，致力于成为在异构计算领域成为全球领先、国内头部的网络算力芯片及综合解决方案提供商。公司在上海、北京、深圳、杭州、西安、银川设立了六个研发中心。创始团队均来自于国际芯片巨头公司、全球头部通信设备制造商、互联网大厂及电信运营商。