Skip to content

Issues: openhwgroup/core-v-verif

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

Separate Binding of Assertions cv32e40s formal Anything related to properties, asserts, covers and assumptions used in FV.
#2411 opened Apr 16, 2024 by silabs-robin
Standardize on a VCS version and remove the "UNSUPPORTED_WITH" workaround cva6 task Assignment to create something new
#2404 opened Apr 5, 2024 by MikeOpenHWGroup
2 tasks
Discussion regarding DV plan annotation: Links to Coverage Common Infrastructure Library components or scriptware common to all environments in CORE-V-VERIF cv32e40p documentation Improvements or additions to documentation question Further information is requested
#2388 opened Mar 19, 2024 by MikeOpenHWGroup
uvmt_cv32e40p_tb_ifs.sv needs to be refactorted cv32e40p good first issue Good for newcomers improvement Issues to highlight long-term improvements in core-v-verif
#2386 opened Mar 14, 2024 by MikeOpenHWGroup
OBI assertion module only support v1.0 and v1.2 of OBI spec Common Infrastructure Library components or scriptware common to all environments in CORE-V-VERIF cv32e20 cv32e40s cv32e40x
#2383 opened Mar 1, 2024 by MikeOpenHWGroup
Covergroups not in the DV plan cv32e40p question Further information is requested
#2381 opened Feb 28, 2024 by MikeOpenHWGroup
Cannot compile the CV32E40S model due to errors in testbench wrapper cv32e40s tool Issue pertains to a vendor tool bug or incompatibility
#2362 opened Feb 6, 2024 by pcotret
Use of two-state variables in RVFI Agent Common Infrastructure Library components or scriptware common to all environments in CORE-V-VERIF question Further information is requested
#2345 opened Jan 3, 2024 by MikeOpenHWGroup
[TASK] Update Imperas Connections for Counter CSRs cv32e20 task Assignment to create something new
#2339 opened Dec 19, 2023 by emgens
1 task done
Observations and questions about VPtool. Common Infrastructure: VPTOOL improvement Issues to highlight long-term improvements in core-v-verif
#2319 opened Dec 11, 2023 by MikeOpenHWGroup
core-v-verif testbench is leaving many files in /tmp and not cleaning up on termination good first issue Good for newcomers improvement Issues to highlight long-term improvements in core-v-verif
#2270 opened Nov 1, 2023 by eroom1966
Provide mechanism for a test-program to select its configuration Common Infrastructure Library components or scriptware common to all environments in CORE-V-VERIF enhancement New feature or request
#2171 opened Sep 1, 2023 by MikeOpenHWGroup
ProTip! Mix and match filters to narrow down what you’re looking for.