工作内容：
1.负责芯片数字逻辑综合，时序分析以及形式验证等工作；
2.负责综合流程搭建，数字逻辑面积，时序优化等工作；
3.负责STA流程搭建以及负责时序约束文件（SDC）的编写工作，与前后端合作做时序分析和时序收敛；
4.负责形式验证流程搭建，负责从RTL代码到后端网表之间各阶段的形式验证检查。

任职资格：
1.硕士及以上学历，微电子、电子工程等相关专业；
2.了解IC设计流程，熟悉EDA工具，例如DC，PT，Formality等；
3.熟悉脚本语言，例如TCL，Perl，Makefile等；
4.工作认真负责、善于学习、以及良好的沟通能力和团队合作精神。