基于覆盖率的 1G 以太网交换机验证：可复用 SystemVerilog 测试台架构

基于覆盖率的 1G 以太网交换机验证：可复用 SystemVerilog 测试台架构

会议: SNUG San Jose 2009 作者: Yijing Liu, Jenny Yun Guo, Matthew Becker, Freescale Semiconductor Inc., Austin TX, USA 页数: 24

---

摘要

1G 以太网交换机的功能验证涉及大量的协议合规性检查、数据路径验证和性能测试。覆盖率驱动验证 Coverage Driven Verification方法学通过系统化的功能覆盖率模型和约束随机验证 Constrained Random Verification技术，为这类复杂设计的验证提供了高效的解决方案。

本文介绍了 Freescale 团队为 1G 以太网交换机开发的基于覆盖率的验证环境，该环境基于可复用的 SystemVerilog 测试台架构和 VMM 验证方法学手册。内容涵盖：(1) 以太网交换机验证的覆盖率模型设计和实现；(2) 可复用测试台架构的分层设计（包括驱动器层、监视器层、记分板层）；(3) 约束随机激励生成策略，以最大化覆盖率收敛速度；(4) 在不同交换机产品代际中复用测试台组件的经验。

该架构显著减少了测试开发和调试时间，同时提供了更高的验证完备性。

---

图片索引

共 7 张图片，存放于 _images/ 目录。涵盖验证环境架构图、覆盖率模型、测试台层次结构等。