OneSpin 360 DV RISC-V Verification App

Tool

OneSpin 360 DV RISC-V Verification App is a RISC-V verification tool referenced as a model-checking-based formal approach in the DATE 2022 paper on cross-level processor verification.

First seen 5/29/2026

Last seen 6/7/2026

Evidence 4 chunks

Wiki v1

WIKI

Overview

OneSpin 360 DV RISC-V Verification App is a tool referenced in the DATE 2022 paper Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging. The paper lists it as “OneSpin 360 DV RISC-V Verification App” with the URL https://www.onespin.com/solutions/risc-v in its references.^[1]

Technical characterization from the cited paper

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections

Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← mentions 90% 6e

The paper mentions OneSpin 360 DV as a related verification tool.

Model Checking implements → 85% 4e

OneSpin 360 DV implements model checking-based formal verification for RISC-V processors.

Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion ← mentions 90% 2e

The paper mentions OneSpin 360 DV RISC-V Verification App as a model checking tool.

formal verification implements → 90% 1e

OneSpin 360 DV is a formal verification tool for RISC-V.

Model Checking implements → 95% 1e

OneSpin 360 DV RISC-V Verification App leverages model checking for RISC-V verification.

LINKED ENTITIES

2 links

Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging MENTIONS Extracted graph relationship

Model Checking IMPLEMENTS Extracted graph relationship

CITATIONS

2 sources

2 citations — click to collapse

[1] The DATE 2022 paper references “OneSpin 360 DV RISC-V Verification App” and gives the URL https://www.onespin.com/solutions/risc-v. Cross-Level Processor Verification via

[2] The paper characterizes the OneSpin 360 DV RISC-V Verification App as one of the formal approaches based on model checking techniques, while noting that such formal techniques may be susceptible to scalability issues. Cross-Level Processor Verification via