主要负责协助客户使用RTL Architect、Design Compiler、Fusion Compiler、Formality等数字前端实现验证工具,提供技术支持工作。拥有多年数字电路前端实现经验,在加入新思科技之前,曾就职于海思麒麟芯片设计部,参与多款麒麟芯片的设计实现工作