Overview

GitLab is identified in the evidence as a tool used within a hardware verification environment for a RISC-V vector processing unit. The project used GitLab for version control and for tracking issues in the environment. [C1]

Documented uses

Version control and issue tracking

The verification team reported that GitLab was used "for version control" and "as a way to track down issues" in their environment. [C1]

Wiki-based documentation

The same environment documented code and project features so that project members could run simulations. These materials were added as guides and tutorials using GitLab's Wiki feature. [C2]

Role in the verification workflow

The broader environment included regression execution before changes were merged, weekly execution of a larger regression set, and CI pipelines used by RTL design and verification teams to test new features and find errors. The evidence explicitly connects GitLab to version control, issue tracking, and Wiki documentation, while the CI pipelines are described as part of the same verification environment. [C1] [C3]

Related entities

• Functional Verification of a RISC-V Vector Accelerator: the paper whose evidence states that GitLab was used in the verification environment.
• CI/CD pipeline: the environment described in the evidence included CI pipelines for testing new features and finding errors.