00

positive testing

Technique ☆ WATCH ⎘ SHARE

First seen 7/19/2026

Last seen 8/5/2026

Evidence 5 chunks

01

NEIGHBORHOOD

2 nodes · 2 edges

graph · positive testing · depth=1

02

RELATIONSHIPS

5 connections

Sail-RISC-V and Spike for RISC-V Vector: Toward Consistent Golden Reference Behavior ← uses 100% 2e evidence

The paper applies positive testing with valid instruction sequences

FP-RVVTS ← implements 100% 1e evidence

FP-RVVTS supports positive testing as part of its verification flow.

RVVTS ← implements 100% 1e evidence

RVVTS is a framework for positive and negative testing.

RVVTS ← uses 100% 1e evidence

RVVTS generates test sets for positive testing

valid instruction sequences uses → 100% 1e evidence

Positive testing uses valid instruction sequences