论文部分内容阅读
本文根据一款以太网交换芯片在验证过程中所总结的经验，提出了一种基于Vera的电路行为级建模的验证方法。该验证方法使用单一的Vera验证语言，从而保证了验证环境的统一性，提高了验证平台的可移植性。不仅如此，针对参考模型运行速度快和方便查错的优点，我们可以实现RTL和参考模型的联合仿真。当使用参考模型和RTL的模块替换验证时，这种方法可以有效地减少验证工作量和缩短验证时间。另外，通过随机测试和代码覆盖率检查等手段，最大限度地保证了验证的覆盖率。
通过验证实例证明，该验证平台具有易操作性、易维护性和易移植性的特点。而利用业界早已成型的验证技术，则为我们的验证工作阶段性的开展奠定了理论依据。同时Vera语言自动激励生成的功能为测试该以太网交换芯片在真实情况下进行大数据量吞吐时的潜在问题提供了高效的手段。