Daniel Grosse
Johannes Kepler Universität Linz
H-index: 39
Europe-Austria
Top articles of Daniel Grosse
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
WAVING Goodbye to Manual Waveform Analysis in HDL Design With WAL | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Lucas Klemmer Daniel Große | 2024/4/10 |
Towards a Highly Interactive Design-Debug-Verification Cycle | Lucas Klemmer Daniel Daniel Große | 2024/1/22 | |
Verifying embedded graphics libraries leveraging virtual prototypes and metamorphic testing | ASP Design Automation Conf | Christoph Hazott Florian Stögmüller Daniel Große | 2024 |
Eine Open-Source RISC-V Evaluierungsplattform | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
Reverse Engineering | Alireza Mahzoon Daniel Große Rolf Drechsler | 2023/2/15 | |
GUI-VP Kit: A RISC-V VP meets Linux graphics-enabling interactive graphical application development | Manfred Schlägl Daniel Große | 2023/6/5 | |
Validierung von Firmware-basiertem Power Management mit virtuellen Prototypen | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
Register-Transfer-Ebene Korrespondenzanalyse | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
Dynamic Backward Rewriting | Alireza Mahzoon Daniel Große Rolf Drechsler | 2023/2/15 | |
Improving Design Understanding of Processors leveraging Datapath Clustering | Katharina Ruep Daniel Große | 2023/4/17 | |
Schlussfolgerung | Björn Egner Max-Christopher Krapp Hubert Heinelt | 2013 | |
Formale Verifikation von SystemC-basierten Entwürfen durch symbolische Simulation | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
Formal Verification of Structurally Complex Multipliers | Alireza Mahzoon Daniel Große Rolf Drechsler | 2023/2/14 | |
Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV | arXiv preprint arXiv:2304.05837 | Lucas Klemmer Daniel Große | 2023/4/12 |
Verifizierung von eingebetteten Software-Binärdateien mit Hilfe virtueller Prototypen | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
DSA monitoring framework for HW/SW partitioning of application kernels leveraging VPs | Design and Verification Conference and Exhibition Europe | Christoph Hazott Daniel Große | 2023 |
Toward System-Level Assertions for Heterogeneous Systems | Muhammad Hassan Thilo Vörtler Karsten Einwich Rolf Drechsler Daniel Große | 2023/2/24 | |
Abdeckungsgesteuertes Testen für skalierbare Verifikation virtueller Prototypen | Vladimir Herdt Daniel Große Rolf Drechsler | 2023/1/1 | |
Large-scale Gatelevel Optimization Leveraging Property Checking | DVCon Europe | Lucas Klemmer Dominik Bonora Daniel Große | 2023 |
Local Vanishing Monomials Removal | Alireza Mahzoon Daniel Große Rolf Drechsler | 2023/2/15 |