Fix mainpipe agent bug and enhance verification coverage (#mainpipe)#191
Open
Gui-Yue wants to merge 1 commit intoXS-MLVP:mainfrom
Open
Fix mainpipe agent bug and enhance verification coverage (#mainpipe)#191Gui-Yue wants to merge 1 commit intoXS-MLVP:mainfrom
Gui-Yue wants to merge 1 commit intoXS-MLVP:mainfrom
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
MainPipe 模块验证增强,包含以下改动:
修复 Agent Bug:
agent/mainpipe_agent.py第541-542行,Python属性名含非法字符(点号)
self._debug_mshr_toffee.infoed_detail,导致monitor_s2_mshr_match_status()静默返回空字典,CP18 测试中s2_MSHR_hits_1始终为False。修复为
self._debug_mshr_infoed_detail。功能覆盖率 100%:添加
test_cp19_7_itlb_l2_both_priority独立测试覆盖CP19.7(ITLB+L2同时异常,ITLB优先),通过 respStall 控制 s1_fire 使 s2_l2_corrupt
可被置位。功能覆盖率从 59/60 提升至 60/60。
添加反标(mark_function):为全部 24 个测试用例添加
mark_function()调用,建立测试用例与功能覆盖点的映射关系。
行覆盖率提升:在 CP11 中新增测试点 11.5(waymask_0=0x8,Way 3 命中,覆盖
s2_waymasks_0_3);在 CP16 中新增测试点 16.2b(Bank 6 ECC 错误,覆盖s2_bank_corrupt_6);在 CP14 中新增测试点 14.5(增强信号路径覆盖);在 CP20中新增测试点 20.5(多地址偏移 bankSel 覆盖)。ICacheMainPipe.v 所有可覆盖的正常 RTL
逻辑行已全部覆盖。
更新验证报告:更新覆盖率数据,补充 RTL 生成工具(CIRCT firtool-1.62.1)产生的 18
行结构性不可达死代码(
bankSel_*_13/_14)的分析说明。Type of change
How Has This Been Tested?
make test target=ut_frontend/icache/mainpipe/全部 24/24 测试通过18 行 RTL 工具死代码)
Checklist: