1.本科及以上学历，微电子、半导体、电子信息工程、计算机相关理工科专业毕业；
2.了解计算机程序设计、数字电路基础、计算机组成原理或者计算机体系结构基础知识；
3.熟悉linux操作系统和shell脚本、Cadence/Synopsis等逻辑模拟工具；
4.熟悉Verilog/C语言/汇编预言等编程语言，熟悉逻辑模拟验证或形式化验证、随机验证等流程；
熟悉常用验证和模拟方法，有逻辑设计和验证经验优先，有ASIC、FPGA设计或者验证经验优先。