00

PicoRV32

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 6 chunks

01

NEIGHBORHOOD

5 nodes · 7 edges

graph · PicoRV32 · depth=1

02

RELATIONSHIPS

4 connections

rtlv ← evaluates 100% 2e evidence

rtlv is used to verify deterministic start for the PicoRV32 CPU.

rtlv: push-button verification of software on hardware ← evaluates 100% 2e evidence

The paper uses PicoRV32 as a motivating example and case study.

rtlv/shiva ← evaluates 100% 1e evidence

rtlv/shiva was reused to verify output determinism for the PicoRV32 as well.

RISC-V implements → 100% 1e evidence

PicoRV32 is a RISC-V CPU implementation.