BCA 与 RTL 模型的通用可复用验证环境
计算机科学中的逻辑
2011-11-09 v1
摘要
本文探讨了一种针对 SystemC BCA 和 RTL 模型的通用验证方法学与环境。其旨在通过避免不同人员重复相同工作来节省精力，并在两种设计视图间复用同一环境。应用此方法学时，一旦功能规格说明书签署确认，验证任务即刻启动，并与模型及设计开发并行运行。验证环境借助专用验证语言进行建模，并应用于两种模型。测试套件完全相同，因此可以验证两种模型之间的一致性。事实上，最后一步是检查接口行为的逐周期匹配。我们开发了一款回归工具和一款总线分析仪以辅助验证和对齐过程。前者用于自动化测试平台生成并运行两套测试套件；后者用于通过比较每次运行获得的波形来验证两种模型之间的一致性。用于验证该流程的质量指标包括全功能覆盖率和每个 IP 端口的完全对齐。
引用
@article{arxiv.0710.4851,
title = {Common Reusable Verification Environment for BCA and RTL Models},
author = {Giuseppe Falconeri and Walid Naifer and Nizar Romdhane},
journal= {arXiv preprint arXiv:0710.4851},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)