Manfred Schlägl

Orcid: 0009-0007-3275-4797

According to our database1, Manfred Schlägl authored at least 10 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
From Generation to Failure Categorization: An Open-Source automated RTL Verification Framework for RVV.
Proceedings of the Great Lakes Symposium on VLSI 2026, 2026

Late Breaking Results: Float Fight - Verifying Floating-Point Behavior in RISC-V Simulators.
Proceedings of the Design, Automation & Test in Europe Conference, 2026

A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture.
Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

2025
Control Flow Protection by Cryptographic Instruction Chaining.
Proceedings of the 22nd International Conference on Security and Cryptography, 2025

ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes.
Proceedings of the Forum on Specification & Design Languages, 2025

Fast Interpreter-Based Instruction Set Simulation for Virtual Prototypes.
Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024
Single Instruction Isolation for RISC-V Vector Test Failures.
Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

A RISC-V "V" VP: Unlocking Vector Processing for Evaluation at the System Level.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
GUI-VP Kit: A RISC-V VP Meets Linux Graphics - Enabling Interactive Graphical Application Development.
Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

2022
RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V.
Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022


  Loading...