Research output per year
Research output per year
-
Boosting SW Development Efficiency with Function Lifetime Diagrams
Hazott, C. & Große, D., 2025, IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 2025. Bosio, A., Bernardi, P., Traiola, M. & Mrazek, V. (eds.). IEEE Explorer, p. 99-104 6 p. (Proceedings - 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
Fast Interpreter-Based Instruction Set Simulation for Virtual Prototypes
Schlägl, M. & Große, D., 2025, Design, Automation and Test in Europe (DATE) 2025. IEEE Xplore, 7 p. (Proceedings -Design, Automation and Test in Europe, DATE).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Open Access -
RVVTS: AModular, Open-Source Framework for Positive and Negative Testing of the RISC-V "V" Vector Extension (RVV)
Schlägl, M. & Große, D., 2025, (Accepted/In press) ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025. 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Towards Non-Intrusive SystemC Checkpointing for Digital Virtual Prototypes
Ravibabu, D., Hassan, M., Vörtler, T., Einwich, K., Drechsler, R. & Große, D., 2025, ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2025. p. 41-51 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Using virtual prototypes and metamorphic testing to verify the hardware/software-stack of embedded graphics libraries
Hazott, C., Stögmüller, F. & Große, D., Mar 2025, In: Integration, the VLSI Journal. 101, C, 14 p., 102320.Research output: Contribution to journal › Article › peer-review
Open Access
-
Modular Real-Time Control
Atzmüller, M. (Researcher) & Große, D. (PI)
01.10.2023 → 30.09.2026
Project: Other › PhD thesis project
-
ENGEL Austria Gmbh
Große, D. (Researcher), Riegler, M. (Researcher), Stadler, M. (Researcher), Wille, R. (Researcher) & Sametinger, J. (PI)
01.08.2019 → 31.07.2027
Project: Contract research › Industry project
-
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
Große, D. (PI)
01.11.2020 → 28.02.2023
Project: Funded research › Other mainly public funds
Activities
-
International Conference on Computer Aided Design (ICCAD) 2025 (Event)
Große, D. (Member)
26 Oct 2025 → 30 Oct 2025Activity: Membership/Function › Program committee
-
Program Committee Member Euromicro Conference Series on Digital System Design (DSD) (External organisation)
Große, D. (Member)
10 Sept 2025 → 12 Sept 2025Activity: Membership/Function › Board, Committee or Jury
-
Program Committee Member of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) (External organisation)
Große, D. (Member)
28 Jun 2025 → 03 Jul 2025Activity: Membership/Function › Program committee
-
Program Committee Member of the RISC-V Summit Europe (External organisation)
Große, D. (Member)
12 May 2025 → 15 May 2025Activity: Membership/Function › Board, Committee or Jury
-
Boosting SW Development Efficiency with Function Lifetime Diagrams
Hazott, C. (Speaker) & Große, D. (Speaker)
07 May 2025Activity: Talk or presentation › Contributed talk › science-to-science