nutshell-cache-verification/reports/model_coverage.json

111 lines
1.7 KiB
JSON

{
"total": 325,
"coverage_percent": 100.0,
"bins": {
"cmd": {
"READ": 167,
"WRITE": 158
},
"addr_space": {
"cached": 308,
"mmio": 17
},
"mask": {
"zero": 167,
"full": 65,
"contiguous": 26,
"single-byte": 40,
"sparse": 27
},
"word_offset": {
"0": 45,
"1": 46,
"2": 54,
"3": 29,
"4": 29,
"5": 43,
"6": 42,
"7": 37
},
"index": {
"1": 13,
"3": 16,
"6": 19,
"0": 12,
"62": 40,
"75": 44,
"70": 36,
"109": 1,
"52": 47,
"77": 1,
"29": 35,
"18": 2,
"88": 1,
"90": 2,
"119": 1,
"66": 1,
"117": 1,
"110": 2,
"73": 2,
"13": 1,
"53": 1,
"83": 1,
"100": 1,
"22": 1,
"54": 1,
"95": 1,
"27": 1,
"59": 1,
"17": 1,
"72": 1,
"19": 1,
"103": 1,
"115": 1,
"94": 1,
"116": 2,
"118": 1,
"49": 2,
"55": 1,
"108": 1,
"74": 1,
"20": 1,
"104": 1,
"2": 1,
"82": 1,
"58": 1,
"102": 1,
"37": 1,
"106": 2,
"87": 2,
"63": 1,
"4": 1,
"98": 1,
"24": 1,
"34": 1,
"7": 1,
"101": 1,
"16": 1,
"25": 1,
"91": 1,
"71": 1,
"48": 1,
"26": 1,
"42": 1,
"93": 1
},
"transition": {
"READ->WRITE": 97,
"WRITE->READ": 96,
"READ->READ": 70,
"WRITE->WRITE": 61
},
"conflict_depth": {
"1": 87,
"2": 20,
"3": 55,
"4": 6,
">4": 157
}
},
"missing": {}
}