00

Manfred Schlägl

Person ☆ WATCH ⎘ SHARE

First seen 6/10/2026

Last seen 9/5/2026

Evidence 16 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · Manfred Schlägl · depth=1

02

RELATIONSHIPS

10 connections

Single instruction isolation for RISC-V vector test failures ← authored by 100% 3e evidence

Manfred Schlägl is listed as author of the Single Instruction Isolation paper

Float Fight - Verifying Floating-Point Behavior in RISC-V Simulators ← authored by 100% 2e evidence

Manfred Schlägl is listed as an author of the paper.

Dynamic Base Block Cache introduces → 90% 1e evidence

Manfred Schlägl and Daniel Große introduced the Dynamic Base Block Cache optimization.

Johannes Kepler University Linz part of → 100% 1e evidence

Manfred Schlägl is affiliated with Johannes Kepler University Linz.

A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture ← authored by 100% 1e evidence

The paper is authored by Manfred Schlägl.

RISC-V VP++: Next generation open-source virtual prototype ← authored by 100% 1e evidence

Manfred Schlägl is an author of the RISC-V VP++ paper.

Sail-RISC-V and Spike for RISC-V Vector: Toward Consistent Golden Reference Behavior ← authored by 100% 1e evidence

The paper is authored by Manfred Schlägl

From Generation to Failure Categorization: An Open-Source automated RTL Verification Framework for RVV ← authored by 100% 1e evidence

Manfred Schlägl is listed as an author of the paper.

FP-RVVTS ← authored by 100% 1e evidence

FP-RVVTS was authored by Manfred Schlägl among others.

Load Store Cache introduces → 90% 1e evidence

Manfred Schlägl and Daniel Große introduced the Load Store Cache optimization.