ZicsrS Covergroup

[coreyqh]

No description provided.

[davidharrishmc]

Does ZicsrU need mcountinhibit walking 1s?

Do we test combination of mcountiinhibit and scoutinhibit with delegation via mcounten? This could become an issue if not easy to resolve quickly.

Questa auto bins large coverpoints and doesn’t actually require 100% coverage of every element in the bin, but just some hits in the bin. This affects things like Zicsr* csr bins, which produce reports like

Coverpoint csr 100.00% 100 - Covered
covered/total bins: 64 64 -
missing/total bins: 0 64 -
% Hit: 100.00% 100 -
bin auto[0:63] 902834 1 - Covered
bin auto[64:127] 15334 1 - Covered
bin auto[128:191] 29802 1 - Covered
bin auto[192:255] 17836 1 - Covered
bin auto[256:319] 28009 1 - Covered
bin auto[320:383] 18031 1 - Covered

We need to replace these auto bins with

csr: coverpoint ins.current.insn[31:20]  {
    bins csrs = {[0:$]};
}

This affects at least ZicsrM/S/U, and is worth a review in other places.

Cp_csrw_corners will need to exclude satp or the system will hang.

csrname should include scounteren but exclude satp.

Add a cp_satp coverpoint similar to cp_scsrwalk that sets and clears every bit except the mode bit(s), which would cause the system to hang.

Cp_sstatus_sd_write

Several places bins M_mode should be called bins S_mode

Cp_sret should look at old_sstatus_spp, old_sstatus_spie, old_sstatus.sie (rather than mstatus)