00

MicroTitan

Tool ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 6 chunks

01

NEIGHBORHOOD

11 nodes · 14 edges

graph · MicroTitan · depth=1

02

RELATIONSHIPS

10 connections

rtlv ← evaluates 100% 2e evidence

rtlv is applied to verify the MicroTitan SoC in a case study.

rtlv/shiva ← evaluates 100% 2e evidence

rtlv/shiva is used to verify output determinism for the MicroTitan SoC.

OpenTitan derived from → 100% 2e evidence

MicroTitan is based on a subset of the OpenTitan project.

clock domain ← part of 100% 2e evidence

MicroTitan includes multiple clock domains that were verified separately.

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

The paper uses MicroTitan as a case study for output determinism verification.

SPI peripheral ← part of 100% 1e evidence

MicroTitan includes an SPI peripheral.

USB peripheral ← part of 100% 1e evidence

MicroTitan includes a USB peripheral.

RISC-V implements → 100% 1e evidence

MicroTitan is a RISC-V SoC.

Ibex CPU ← part of 100% 1e evidence

MicroTitan includes the Ibex CPU as a component.

UART peripheral ← part of 100% 1e evidence

MicroTitan includes a UART peripheral.