上周有个做数字IC的学生问我，港科大广州的微电子学域到底值不值得申。坦白讲，我当时没直接回答，因为这个学域太新了，我需要一个个组去翻。翻到张弘策（Hongce Zhang）的主页时候，我停下来了——一个普林斯顿ECE博士，入职不到四年，组里已经有8个在读PhD，同时担任DAC、ICCAD、CAV三大顶会的程序委员会成员。有一说一，这个履历在同龄PI里相当硬。
张弘策，港科大（广州）功能枢纽微电子学域助理教授，同时挂靠港科大本部EMIA（新兴交叉学科）。2015年上海交大微电子本科毕业，2021年普林斯顿大学拿的ECE博士，导师是形式化验证领域的大佬Sharad Malik。他的核心方向是硬件形式化验证、模型检测和电子设计自动化。组里目前8名在读博士、1名本科研究生，已经毕业了1名博士（去向华为香港研究中心）和2名硕士。这个组建速度，对一个2021年才毕业的年轻PI来说，说明经费和招生都不是问题。
研究方向 + 代表论文
说实话，EDA这个赛道现在属于典型的"国家需要+产业缺人"双轮驱动。芯片自主化这几年喊了很多，但底层的设计验证工具链一直是卡脖子环节。做硬件验证的博士出来，基本对接EDA公司（Synopsys、Cadence、华为海思、芯华章）或芯片设计公司的验证岗，薪资天花板在IC行业里属于第一梯队。张弘策的研究恰好卡在"AI+形式化验证"这个交叉点上，既有扎实的理论根基，又紧跟产业需求。
RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique
2025 | IEEE TCAD
Mason判断：这篇是把大语言模型引入硬件代码生成的标杆工作，而且是完全开源的。在EDA领域，愿意开源的组并不多，这说明张老师对学术共享的态度很正——对学生来说，意味着你的工作容易被看到、容易被引用。
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction
2024 | ASP-DAC
Mason判断：用图神经网络加速经典的IC3模型检测算法，思路很聪明。形式化验证最大的痛点就是效率，这篇直接用AI去解决效率瓶颈，方向感很好。
WASIM: A Word-level Abstract Symbolic Simulator
2023 | TACAS
Mason判断：在RTL层面做字级符号模拟，实用性很强，已经开源。TACAS是形式化方法领域的顶级会议，说明张老师在这个圈子里是被认可的。
如何套磁入组
套磁友好度：主动招人型
官网明确写着招收PhD和RA，方向与EDA产业紧密对接。组内已有8名博士说明导师有充足的经费和指导经验，不存在"招了人不知道怎么带"的风险。导师本人中国学生出身，对国内背景的申请者非常了解。
切入角度1：从EDA/形式化验证切入如果你有数字电路设计或Verilog编程背景，直接聊硬件验证的实际痛点。提到你了解ILAng或WASIM项目，表达参与开源工具开发的意愿。邮件关键词建议：formal verification, model checking, RTL verification。
切入角度2：从AI+EDA交叉切入如果你有机器学习背景但对芯片设计感兴趣，围绕LLM辅助硬件设计展开。提到RTLCoder项目，表示你有NLP或代码生成的研究经验。邮件关键词建议：LLM for EDA, AI-aided chip design, RTL code generation。
切入角度3：从芯片安全切入有信息安全或系统安全背景的同学，可以聊SoC安全验证。这是张老师在个人主页上明确写的招生方向之一，说明他有具体的研究规划和经费支持。邮件关键词建议：hardware security, SoC verification, firmware security。
申请建议
1. 学历背景准备
电子工程、计算机科学、微电子、自动化等专业本硕均可。GPA 3.5+/4.0优先。有海外科研或交换经历加分，但不是必须条件。
2. 核心技能准备
硬性要求：熟练掌握Verilog/SystemVerilog或VHDL，有数字电路设计项目经验。加分技能：Python编程能力（用于工具开发）、SAT/SMT求解器使用经验、机器学习框架（PyTorch）。了解EDA工具链（Yosys、Vivado等）者优先。
3. 申请材料准备
Research Proposal建议围绕"AI辅助硬件验证"或"SoC安全"撰写。推荐先读张老师的RTLCoder和WASIM两篇论文，在Proposal中体现你对该方向的理解。推荐信至少一封来自有EDA或IC设计背景的导师。
谁适合申 / 谁不太适合
适合申请的：电子工程或计算机专业，有Verilog项目经验或EDA工具使用经验的同学。有形式化方法、定理证明、SAT/SMT求解器背景的会非常匹配。另外有AI/ML基础且对芯片设计应用场景感兴趣的跨方向申请者也很受欢迎——RTLCoder那条线就是给这类背景准备的。
不太适合的：纯模拟电路或射频IC方向的同学（组做数字验证为主，方向不匹配）。对理论推导和编程都不太感兴趣的同学也要慎重考虑，因为这个组的研究代码量很大，需要扎实的工程实现能力。完全没编程基础的同学建议先补齐再申。
讲真，如果你爸妈问"这个博士读完能干嘛"——答案很清晰：EDA行业现在是国家重点扶持的"卡脖子"领域，芯华章、华大九天这些本土EDA公司都在疯狂招人，薪资在IC行业里属于第一梯队。张弘策的毕业生已经去了华为香港研究中心，这个就业路径非常明确。
毕业去向速览
已毕业博士1人 → 华为香港研究中心已毕业硕士2人 → 1人继续在港科大读博，1人入职业界（Univista）组建于2021年，多数PhD在读中，后续毕业去向数据会持续补充。
