Labels

Something isn't working

Library components or scriptware common to all environments in CORE-V-VERIF

Verification tasks related to CV-X-IF (not core specific)

Agents and script from CEA

Verification tasks related to CVFU (not core specific)

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Anything related to properties, asserts, covers and assumptions used in FV.

Good for newcomers

Extra attention is needed

Issues to highlight long-term improvements in core-v-verif

Generally an issue identifed by Verissimo

Further information is requested

At least one Committer believes the issue is fixed.

Assignment to create something new