典型文献
多路系统Cache一致性验证中的错误追踪定位技术
文献摘要：
以某国产多路系统的验证为例,基于事务级验证TBV技术,提出并实现了一种可以应用于模拟验证的自动错误追踪定位技术,通过在验证环境中对处理器的特定功能流程、相关各种请求响应、访存地址和数据流等信息进行事务级建模,记录并生成了验证环境运行产生的事务级信息库,基于上述信息实现了错误的自动追踪定位,显著缩短了错误定位时间,提升了多路系统模拟验证的查错效率.同时,基于事务级的模型,也使得验证人员可以在比设计部件更高的层次描述复杂流程的Cache一致性覆盖点,这种事务级维度的覆盖率描述弥补了原有代码覆盖率和功能覆盖率局限于模块和部件级的不足,是对全面性和充分性验证的有益补充.
文献关键词：
处理器验证;事务级验证;多路系统;Cache一致性;覆盖率;错误追踪
中图分类号：
作者姓名：
李辉;巨鹏锦;计永兴
作者机构：
上海高性能集成电路设计中心,上海 201204
文献出处：
引用格式：
[1]李辉;巨鹏锦;计永兴-.多路系统Cache一致性验证中的错误追踪定位技术)[J].计算机工程与科学,2022(07):1171-1180
A类：
多路系统,错误追踪,事务级验证,处理器验证
B类：
Cache,一致性验证,定位技术,某国,TBV,模拟验证,验证环境,功能流程,请求,地址,数据流,行事,信息库,自动追踪,错误定位,定位时间,系统模拟,查错,证人,设计部,代码覆盖率,充分性
AB值：
0.33666
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
