Skip to content

Commit ca0cfe8

Browse files
Copilot fixes
1 parent 361adae commit ca0cfe8

6 files changed

Lines changed: 410 additions & 414 deletions

File tree

coverpoints/priv/ExceptionsF_coverage.svh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -96,15 +96,15 @@ covergroup ExceptionsF_cg with function sample(ins_t ins);
9696
cp_mstatus_fs_illegal_instr: cross instrs, mstatus_FS_zero;
9797
cp_badfrm: cross instrs_dynrm, mstatus_FS_nonzero, frm_illegal;
9898
cp_mstatus_fs_legal: cross instrs, mstatus_FS_status, frm_legal;
99-
cp_load_access_fault: cross loadops, illegal_address;
99+
cp_load_address_misaligned: cross loadops, adr_LSBs;
100100
cp_store_address_misaligned: cross storeops, adr_LSBs;
101101

102102
// access fault coverpoints
103103
`ifdef RVMODEL_ACCESS_FAULT_ADDRESS
104104
illegal_address: coverpoint ins.current.imm + ins.current.rs1_val {
105105
bins illegal = {`RVMODEL_ACCESS_FAULT_ADDRESS};
106106
}
107-
cp_load_address_misaligned: cross loadops, adr_LSBs;
107+
cp_load_access_fault: cross loadops, illegal_address;
108108
cp_store_access_fault: cross storeops, illegal_address;
109109
`endif
110110
endgroup

0 commit comments

Comments
 (0)