Skip to content

No labels!

There aren’t any labels for this repository quite yet.

32 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
16
cannot reproduce or invalid
cannot reproduce or invalid
Common Infrastructure: FCov
Common Infrastructure: FCov
5
Common Infrastructure: UVM Agent
Common Infrastructure: UVM Agent
9
Common Infrastructure: VPTOOL
Common Infrastructure: VPTOOL
2
Common Infrastructure
Common Infrastructure
Library components or scriptware common to all environments in CORE-V-VERIF
21
Component:Doc
Component:Doc
cv32e20
cv32e20
10
cv32e40p
cv32e40p
22
cv32e40s
cv32e40s
23
cv32e40x
cv32e40x
14
cv32e41p
cv32e41p
cv-x-if
cv-x-if
Verification tasks related to CV-X-IF (not core specific)
1
cva6
cva6
7
cvfpu
cvfpu
Verification tasks related to CVFU (not core specific)
DO NOT MERGE
DO NOT MERGE
5
documentation
documentation
Improvements or additions to documentation
5
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
8
formal
formal
Anything related to properties, asserts, covers and assumptions used in FV.
3
good first issue
good first issue
Good for newcomers
7
help wanted
help wanted
Extra attention is needed
improvement
improvement
Issues to highlight long-term improvements in core-v-verif
19
Lint
Lint
Generally an issue identifed by Verissimo
8
question
question
Further information is requested
8
Resolved
Resolved
At least one Committer believes the issue is fixed.
2
Spike Tandem
Spike Tandem
2
task
task
Assignment to create something new
19
tool
tool
Issue pertains to a vendor tool bug or incompatibility
10
Type:Bug
Type:Bug