Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Cover points for the riscv priv arch tests #62

Closed
wants to merge 8 commits into from
Closed

Cover points for the riscv priv arch tests #62

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
6ee741e
Added cover points of TOR and NA4 for PMP
alitariq4589 May 30, 2023
ad9e6d6
Added contents of coverpoints added by 1danish13
alitariq4589 Jun 15, 2023
a80867a
Added coverpoints of NAPOT with memory access
alitariq4589 Jun 16, 2023
11a58ff
Added corner case for dividing most neg number with -1
alitariq4589 Jun 22, 2023
46cdd7b
Added 2-bit left shift to pmp address register and corrected cgf syntax
alitariq4589 Jul 10, 2023
023e8d0
Coverpoints of locking and privilege for M-mode
Jul 26, 2023
8a7c589
Renamed locking nodes with M mode
Aug 1, 2023
de3a3cb
Merge branch 'riscv-software-src:master' into master
alitariq4589 Oct 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions sample_cgfs/dataset.cgf
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -286,6 +286,7 @@ datasets:
'rs1_val > 0 and rs2_val < 0': 0
'rs1_val < 0 and rs2_val < 0': 0
'rs1_val < 0 and rs2_val > 0': 0
'rs1_val == -0x8000000000000000 and rs2_val == -0x01': 0
'rs1_val == rs2_val': 0
'rs1_val != rs2_val': 0

Expand Down
Loading
Loading