计算机工程与科学

作者：李辉, 巨鹏锦, 计永兴

单位：（上海高性能集成电路设计中心,上海 201204）

关键词：处理器验证,事务级验证,多路系统,Cache一致性,覆盖率,错误追踪,

以某国产多路系统的验证为例，基于事务级验证TBV技术，提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术，通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模，记录并生成了验证环境运行产生的事务级信息库，基于上述信息实现了错误的自动追踪定位，显著缩短了错误定位时间，提升了多路系统模拟验证的查错效率。同时，基于事务级的模型，也使得验证人员可以在比设计部件更高的层次描述复杂流程的Cache一致性覆盖点，这种事务级维度的覆盖率描述弥补了原有代码覆盖率和功能覆盖率局限于模块和部件级的不足，是对全面性和充分性验证的有益补充。

来源：2022年第7期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2022年第7期