Ariane
ConceptAriane is an open-source 64-bit application-class RISC-V processor core. The wiki article synthesizes its definition and role as an evaluation target in formal verification research from two primary arxiv papers and a recent review on scalable formal verification strategies for RISC-V control paths.
First seen 7/16/2026
Last seen 7/16/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
Ariane is an open-source, single-issue, in-order 64-bit RISC-V application-class processor core. It is designed to support a Linux-capable application environment and serves as a publicly available implementation target for research on RISC-V microarchitecture, security, and formal verification.
Description and Implementation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsThe review reports experimental results using Ariane as one of the open-source RISC-V processor cores in comparisons.
CITATIONS
6 sources6 citations — click to expand
[1] Ariane is an open-source, single-issue, in-order 64-bit RISC-V core (RV64GC) supporting a Linux application environment. The Cost of Application-Class Processing: Energy and Performance Analysis of a Linux-ready 1.7GHz 64bit RISC-V Core in 22nm FDSOI Technology
[2] A taped-out Ariane instance in GlobalFoundries 22 FDX runs at up to 1.7 GHz and achieves up to 40 Gop/sW peak efficiency, supporting virtual memory, caches, and multiple privileged modes. The Cost of Application-Class Processing: Energy and Performance Analysis of a Linux-ready 1.7GHz 64bit RISC-V Core in 22nm FDSOI Technology
[3] Ariane is described as an open-source 64-bit application-class RISC-V core used to evaluate five microarchitectural covert channels together with seL4 time protection. Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core
[4] A single-instruction RISC-V ISA extension flushing microarchitectural state was shown to close all five evaluated covert channels on Ariane with low context-switch cost increase and negligible hardware overhead. Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core
[5] In a comparative formal verification study, Ariane was verified using parametric invariants in 4.8 hours, finding 5 bugs and using up to 5.5 GB of memory. Scalable Formal Verification Strategies for RISC-V Based Control Paths: A Review
[6] The review evaluates Ariane alongside PicoRV32 and Rocket Core as open-source RISC-V targets for symbolic-execution-plus-BMC, parameterized invariant, and AI-assisted proof-strategy verification techniques. Scalable Formal Verification Strategies for RISC-V Based Control Paths: A Review