Organisation profile
Organisation profile
Fields of science
- 202017 Embedded systems
- 202028 Microelectronics
- 102005 Computer aided design (CAD)
- 202005 Computer architecture
- 106007 Biostatistics
- 305907 Medical statistics
- 202041 Computer engineering
- 102011 Formal languages
- 101018 Statistics
- 101015 Operations research
JKU Focus areas
- Digital Transformation
-
MIND: Medical Intelligence for Next Generation Diagnostics
Hamidovic, M. (PI), Zelko, E. (Co-PI), Khanzadeh, R. (Researcher), Fuger, J. (Researcher), Seidl, M. (Researcher), Salzer, H. (Researcher) & Springer, A. (Researcher)
01.04.2026 → 30.11.2027
Project: Funded research › Federal / regional / local authorities
-
Modular Real-Time Control
Atzmüller, M. (Researcher) & Große, D. (PI)
01.10.2023 → 30.09.2026
Project: Other › PhD thesis project
-
ODE4EC-PIV: Open Design Ecosystem for European Chips - Productivity, Interoperability, Verification
Große, D. (PI)
01.06.2026 → 31.05.2029
Project: Funded research › EU - European Union
Research output
-
A RISC-V CHERI VP: Enabling System-Level Evaluation of the Capability-Based CHERI Architecture
Schlägl, M., Hinterdorfer, A. & Große, D., 10 Mar 2026, 31st Asia and South Pacific Design Automation Conference (ASP-DAC) 2026. 1 ed. p. 1230-1236 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
FastISS-Enhanced RISC-V VP++: Latest Results in High-Performance Interpreter-Based Simulation
Schlägl, M. & Große, D., 2026, (Accepted/In press) MBMV 2026 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 29. Workshop. 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Late Breaking Results: Float Fight - Verifying Floating-Point Behavior in RISC-V Simulators
Ruep, K., Schlägl, M. & Große, D., 2026, (Accepted/In press) Design, Automation and Test in Europe (DATE) 2026. IEEE Xplore, 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
RISC-V VP++: Fast Open-Source Virtual Platforms – Powering Research Innovation and Industrial Use
Große, D. (Speaker)
03 Dec 2025Activity: Talk or presentation › Invited talk › science-to-science
-
Leveraging RISC-V for flexible and adaptive real-time radar sequencing
Atzmüller, M. (Speaker), Findenig, R. (Speaker), Greslehner-Nimmervoll, B. (Speaker), Ecker, W. (Speaker) & Große, D. (Speaker)
31 Oct 2025Activity: Talk or presentation › Contributed talk › science-to-science
-
Gutachter für Dissertation
Große, D. (Expert)
27 Oct 2025Activity: Expert activities › Expert activity for dissertations and habilitations
Prizes
-
-
-
Best Paper Award: Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Herdt, V. (Recipient), Große, D. (Recipient), Eyck, J. (Recipient) & Drechsler, R. (Recipient), Sept 2020
Prize: Prize, award or honor
Datasets
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset