// VIRTUAL PLATFORM

Run WIOWIZ silicon before the RTL leaves the lab

SOCVP is WIOWIZ's executable model of its own Soft IP, packaged as four bootable SoC solutions that run real RISC-V firmware you compile yourself. Evaluate WIOWIZ IP without waiting for an RTL drop. It models WIOWIZ silicon at the architecture level, it is not an RTL simulator.

Request the release See the EDA platform

Four bootable SoC solutions

Each solution boots real firmware against a modelled WIOWIZ SoC, RISC-V processors, an INT8 NPU, DMA, PCIe and CXL endpoints, a UEC NIC and DPU, and more.

MCU

MCU

A compact RISC-V microcontroller SoC, the fastest way to boot real firmware and watch it pass.

AI-EDGE

AI-Edge

An edge-inference SoC with the INT8 NPU, driven by shipped firmware and a golden reference.

MULTICORE

Multicore

A multi-core RISC-V SoC for concurrency, coherence and system bring-up.

DPU

DPU

A data-processing SoC with networking and CXL data movement for datacenter evaluation.

See it run

Short walk-throughs of SOCVP booting and evaluating WIOWIZ silicon.

Inside the SoC hierarchy

How a solution maps to real WIOWIZ IP blocks, from the CLI down to the modelled SoC.

Evidence, not assertions

Why an illegal instruction fails the boot, and how every evaluation is checked at run time.

Verified at run time, not asserted in a datasheet

Real firmware, checked

Every evaluation runs firmware and checks the result. Where a golden reference exists, the run is compared element for element.

Illegal instruction fails

A boot that executes an illegal instruction fails. A success flag cannot override a real fault.

Self-verifying package

The shipped package checks its own integrity and refuses to run a tampered file.

Deterministic

Boots are byte-for-byte deterministic. Run it ten times, diff nothing.

Get it

Linux x86-64. Windows via WSL2 with Ubuntu. Download the release tarball and its checksum, then:

# unpack and check what this host has
tar -xzf socvp-<version>-linux-x86_64.tar.gz
bin/socvp check
# boot a real firmware, watch it pass
bin/socvp boot mcu
# evaluate a WIOWIZ asset (labels its proof: golden-compared, result-checked)
bin/socvp evaluate <id>
Linux x86-64  ·  tar.gz
v1.0.0  ·  70 MB
SHA256 b1971fe5c66d66ad81f1367b8015797d6064cb588530c81cb0cc0a4572c372ae
Linux x86-64  ·  tar.zst
v1.0.0  ·  52 MB  ·  smaller
SHA256 2c937342888852c3b610f4edca6c75abe470f5d2fb5f064a5bb75f4c19516482
What it is not. Not an RTL simulator, not cycle-accurate, and it does not import your RTL. SOCVP is the authoritative functional model of WIOWIZ IP.