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

In the paper’s discussion of related RISC-V processor verification methods, the authors state that a few formal approaches based on model checking techniques had been proposed, citing both the RISC-V formal verification framework and the OneSpin 360 DV RISC-V Verification App.^[2] The same passage notes a possible limitation of such formal techniques: susceptibility to scalability issues.^[2]

Context in RISC-V verification literature

The tool is mentioned alongside other RISC-V verification resources, including directed RISC-V ISA and compliance test suites, and formal verification approaches. In that context, the OneSpin app serves as an example of a formal, model-checking-based RISC-V verification approach rather than the paper’s own proposed coverage-guided aging co-simulation method.^[2]

^[1]: Reference entry for “OneSpin 360 DV RISC-V Verification App.” ^[2]: Related-work statement describing formal approaches based on model checking techniques and citing the OneSpin app.