00

From Generation to Failure Categorization: An Open-Source automated RTL Verification Framework for RVV

Paper ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 8 chunks

01

NEIGHBORHOOD

10 nodes · 16 edges

graph · From Generation to Failure Categorization: An Open-Source automated RTL Verification Framework for RVV · depth=1

02

RELATIONSHIPS

10 connections

Johannes Kepler University Linz published by → 90% 2e evidence

The paper is produced by authors from Johannes Kepler University Linz.

RISC-V Vector Tests Generator evaluates → 100% 2e evidence

The paper evaluates the RISC-V Vector Tests Generator from CHIPS Alliance as a baseline.

Functional Coverage uses → 100% 2e evidence

The paper demonstrates achieving over 96% functional coverage using the extended RVVTS framework.

RISC-V Vector Tests Generator compares with → 100% 2e evidence

The paper compares the extended RVVTS framework against the RISC-V Vector Tests Generator as baseline.

Automated Failure Categorization introduces → 100% 2e evidence

The paper introduces the novel Automated Failure Categorization (AFC) stage.

RVVTS uses → 100% 2e evidence

The paper extends and uses the RVVTS framework for RTL verification of RVV.

Ara vector processor evaluates → 100% 2e evidence

The paper uses Ara vector processor as the Design Under Test for experimental evaluation.

Jonas Reichhardt authored by → 100% 1e evidence

Jonas Reichhardt is listed as an author of the paper.

Daniel Große authored by → 100% 1e evidence

Daniel Grosse is listed as an author of the paper.

Manfred Schlägl authored by → 100% 1e evidence

Manfred Schlägl is listed as an author of the paper.