1
0

Merge pull request #1138 from freechipsproject/cover_tag_ecc_error_during_fence_i

Added coverage point to cover the case when ECC error happens during …
This commit is contained in:
Henry Cook 2017-12-01 18:00:11 -08:00 committed by GitHub
commit 71ddd797bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -712,6 +712,8 @@ class DCacheModule(outer: DCache) extends HellaCacheModule(outer) {
flushing := !release_ack_wait && !uncachedInFlight.asUInt.orR
}
}
ccover(s2_valid_masked && s2_req.cmd === M_FLUSH_ALL && s2_meta_error, "TAG_ECC_ERROR_DURING_FENCE_I", "D$ ECC error in tag array during cache flush")
ccover(s2_valid_masked && s2_req.cmd === M_FLUSH_ALL && s2_data_error, "DATA_ECC_ERROR_DURING_FENCE_I", "D$ ECC error in data array during cache flush")
s1_flush_valid := metaArb.io.in(5).fire() && !s1_flush_valid && !s2_flush_valid_pre_tag_ecc && release_state === s_ready && !release_ack_wait
metaArb.io.in(5).valid := flushing
metaArb.io.in(5).bits.write := false