负责高性能计算芯片FPGA原型验证全流程,主导验证方案设计、平台搭建及问题闭环,保障设计功能正确性与时序收敛,支撑65nm/28nm工艺流片项目落地。
- 主导AI推理芯片(算力256TOPS@INT8)FPGA验证平台搭建,基于UVM 1.2方法学构建分层验证环境,设计参考模型(含矩阵运算单元的浮点转定点校准逻辑)与随机激励生成器,结合SystemVerilog DPI调用MATLAB生成验证向量,解决浮点运算精度误差问题;通过优化约束随机策略(增加权重因子控制关键操作覆盖率)与场景覆盖(补充极端输入组合),45天内将功能覆盖率从78%提升至95%,提前识别5处乘法器溢出逻辑漏洞。
- 针对片上网络(NoC)跨时钟域(CDC)模块验证,设计基于事务级的验证方案:使用SVA(SystemVerilog Assertions)定制12条同步器监控断言(如检测 metastability 窗口内的非法状态跳转),结合Questa Formal验证工具进行形式化检查,定位3处同步FIFO空满标志更新不同步问题;通过波形反推与代码覆盖率分析,修复后CDC路径缺陷清零,保障16路200MHz数据传输零丢包。
- 开发Python自动化回归框架,集成Vivado仿真(-mode batch)与Jenkins持续集成,实现每日凌晨自动运行基础用例集(覆盖80%常规场景);通过优化仿真脚本(减少冗余$display输出、并行启动多个测试实例),将单次全量回归时间从12小时压缩至6小时,验证周期缩短30%,支撑项目提前2周完成流片准备。
- 协同设计团队完成DDR4控制器验证,使用Xilinx SignalTap II实时抓取FPGA原型信号(采样率2GHz),对比仿真波形与实测眼图(目标眼高0.8UI,眼宽0.6UI),定位3处时序违例(如写使能信号延迟超标);通过调整约束文件(增大setup/hold裕量15%)与优化PHY层寄存器配置,最终实测速率达1600Mbps,功能验证通过率100%。