2020/9-至今 大规模网络处理器项目TM子系统qos模块验证
项目描述：该项目是基于5纳米工艺的网络处理器芯片。流量管理子系统(TM)负责网络处理器报文的缓存管理/队列管理/拥塞管理(qos)等功能。qos实现用户流量的拥塞管理功能，由授权管理模块(crdt)和流量整形模块(shap)组成，crdt模块负责用户流量模型的调度，shap模块负责用户流量的平滑与管控，qos最终保证网络处理器的服务质量。
项目职责：
1. 与开发共同编写qos(crdt+shap)模块的详细设计文档，根据研制规范手册提取模块功能点，基于功能点提取验证计划(Vplan)；
2. 搭建基于UVM框架的qos模块大平台和小平台的验证环境，搭建基于Palladium Z1 加速器的验证平台；
3. 编写和测试用例，利用逻辑、sva、功能覆盖率等方法完善平台监控，添加公共组件，完善和补充定向用例，完成各阶段的验证评审；
4. 回归用例，完成检查单(check_list)和可解释100%代码覆盖率。
项目成果：
1. 完成qos模块54个功能点共计70多用例的设计和验证，保证模块收敛；
2. 搭建的大、小验证平台兼容了FTM/ETM/METM不同模式的验证需求，从而解决crdt和shap模块耦合带来的开发定位难和验证阻塞问题；
3. 搭建的加速器仿真平台补充54个用例测试，进一步确保验证的完备性；
4. 使用perl脚本开发相关辅助工具：提取相关参数生成部分用例、生成流量模型的拓扑结构、编写加速器的参考模型，从而提高验证效率和评审质量；
5. 利用formal方法学补充了ram冲突处理部分的验证；
2020/4-2020/10 高性能智能网关项目TM子系统sopc模块验证
项目描述：该项目是基于14纳米工艺的网关芯片，TM子系统主要完成报文的流量管理，队列出/入队管理，队列出端口调度(sopc)。sopc模块负责根据前级模块的描述符信息将片内/片外数据搬移到指定端口。
项目职责：
1.与开发共同编写sopc模块的详细设计文档，根据研制规范手册提取功能点，根据功能点提取验证计划(Vplan)；
2. 增加sopc模块验证平台的保序对比功能和丢包重传机制，添加相关监控和和功能覆盖率，完善和补充定向用例，回归用例，完成检查单(check_list)和可解释100%代码覆盖率。
项目成果：
1. 完成sopc模块20个功能点37个用例的设计和验证，确保sopc模块收敛，保证sopc模块的100%可解释覆盖。
