基于MPLS分组传送的流量管理芯片下行验证
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 概论 | 第8-14页 |
| ·引言 | 第8-9页 |
| ·芯片验证的研究现状 | 第9-11页 |
| ·课题的状况和意义 | 第11-12页 |
| ·本文的内容安排 | 第12-14页 |
| 第二章 网络设备及流量管理芯片 | 第14-33页 |
| ·网络架构 | 第14-15页 |
| ·交换网架构的发展 | 第15-17页 |
| ·分组传送芯片组的架构 | 第17-18页 |
| ·流量管理芯片的组成 | 第18-21页 |
| ·报文切分和存储管理 | 第18-19页 |
| ·报文重组和存储管理 | 第19-20页 |
| ·控制通道 | 第20-21页 |
| ·流量监管和调度算法 | 第21-30页 |
| ·漏桶算法 | 第22-23页 |
| ·用户带宽分配 | 第23-25页 |
| ·带权重的公平排队 | 第25-27页 |
| ·加权轮循 | 第27-28页 |
| ·带权重的随机早期检测 | 第28-30页 |
| ·流量管理芯片的功能规格 | 第30-33页 |
| 第三章 流量管理芯片验证的流程、策略和架构 | 第33-50页 |
| ·验证流程的演进 | 第33-35页 |
| ·验证策略的制定 | 第35-41页 |
| ·验证策略的原则 | 第35-36页 |
| ·验证策略的制定 | 第36-39页 |
| ·SystemVerilog 语言 | 第39-40页 |
| ·VMM 验证平台 | 第40-41页 |
| ·验证环境的搭建 | 第41-49页 |
| ·常用的验证平台 | 第41-42页 |
| ·基于VMM 的验证平台 | 第42-43页 |
| ·流量管理芯片的验证组件 | 第43-47页 |
| ·下行数据通道集成验证环境 | 第47-48页 |
| ·系统测试验证环境 | 第48-49页 |
| ·验证环境的总结 | 第49-50页 |
| 第四章 流量管理芯片的验证 | 第50-88页 |
| ·单元测试 | 第50-51页 |
| ·集成测试 | 第51-78页 |
| ·下行数据通道 | 第52-54页 |
| ·下行流队列调度 | 第54-71页 |
| ·下行端口队列调度 | 第71-77页 |
| ·集成测试总结 | 第77-78页 |
| ·系统测试 | 第78-81页 |
| ·测试点提取 | 第78-80页 |
| ·测试的执行 | 第80-81页 |
| ·系统测试总结 | 第81页 |
| ·后仿真 | 第81-85页 |
| ·时序检查和SDF | 第82-83页 |
| ·后仿真的执行 | 第83-84页 |
| ·后仿真总结 | 第84-85页 |
| ·验证的总结 | 第85-88页 |
| 第五章 结论 | 第88-91页 |
| 致谢 | 第91-92页 |
| 参考文献 | 第92-94页 |
| 攻硕期间取得的研究成果 | 第94-95页 |
