FP-RVVTS

Tool

First seen 6/10/2026

Last seen 6/10/2026

Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

17 connections

The paper introduces FP-RVVTS as an enhanced version of RVVTS.

RVVTS extends → 100% 2e

FP-RVVTS is an enhanced version of RVVTS.

FP-RVVTS uses a context-free grammar with dependency annotations.

FP-RVVTS uses strengthened single-instruction isolation technique.

QEMU evaluates → 100% 2e

FP-RVVTS evaluates QEMU and finds no failures.

spike uses → 100% 2e

FP-RVVTS uses Spike as the golden reference simulator.

rounding mode uses → 100% 2e

FP-RVVTS supports both global and per-instruction rounding modes.

failure cause analysis implements → 100% 2e

FP-RVVTS supports improved failure cause analysis through isolation techniques.

FP-RVVTS enables comprehensive floating-point verification.

FP-RVVTS measures functional coverage of generated test sets.

RISC-V VP evaluates → 100% 2e

FP-RVVTS is used to verify and find bugs in RISC-V VP++.

Spike FF evaluates → 100% 2e

FP-RVVTS finds failures in Spike FF.

FP-RVVTS generates both positive and negative test sets.

Design Under Test uses → 100% 1e

FP-RVVTS executes tests on a Design Under Test and compares with reference.

riscv-ovpsim uses → 100% 1e

FP-RVVTS uses riscvOVPsim for measuring functional coverage.

FP-RVVTS augments the Instruction Sequence Generator with an FP grammar.

ISA compliance evaluates → 85% 1e

FP-RVVTS evaluates whether simulators are compliant with the RISC-V ISA.