| WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging L Klemmer, D Große 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 358-364, 2022 | 15 | 2022 |
| EPEX: Processor Verification by Equivalent Program Execution L Klemmer, D Große Proceedings of the 2021 on Great Lakes Symposium on VLSI, 33-38, 2021 | 10 | 2021 |
| Waveform-based performance analysis of RISC-V processors: late breaking results L Klemmer, D Große Proceedings of the 59th ACM/IEEE Design Automation Conference, 1404-1405, 2022 | 7 | 2022 |
| An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle L Klemmer, D Große 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 38-43, 2022 | 7 | 2022 |
| XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding L Klemmer, S Froehlich, R Drechsler, D Große 2021 IEEE International Symposium on Circuits and Systems (ISCAS), 1-5, 2021 | 7 | 2021 |
| Programmable analysis of RISC-V processor simulations using WAL L Klemmer, E Jentzsch, D Große DVCon Europe, 2022 | 5 | 2022 |
| ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks S Froehlich, L Klemmer, D Große, R Drechsler 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), 64-69, 2020 | 5 | 2020 |
| Formal Verification of SUBLEQ Microcode implementing the RV32I ISA L Klemmer, S Gurtner, D Große 2022 Forum on Specification & Design Languages (FDL), 1-8, 2022 | 4 | 2022 |
| Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis F Skarman, L Klemmer, O Gustafsson, D Große 2023 Forum on Specification & Design Languages (FDL), 1-8, 2023 | 3 | 2023 |
| Towards a Highly Interactive Design-Debug-Verification Cycle LK Daniel, D Große 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 692-697, 2024 | 2 | 2024 |
| RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V L Klemmer, M Schlägl, D Große Proceedings of the Great Lakes Symposium on VLSI 2022, 183-187, 2022 | 2 | 2022 |
| WAVING Goodbye to Manual Waveform Analysis in HDL Design With WAL L Klemmer, D Große IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024 | 1 | 2024 |
| Large-scale gatelevel optimization leveraging property checking L Klemmer, D Bonora, D Grosse DVCon Europe 2023; Design and Verification Conference and Exhibition Europe …, 2023 | 1 | 2023 |
| An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs L Klemmer, D Grose 2024 Forum on Specification & Design Languages (FDL), 1-8, 2024 | | 2024 |
| Using Formal Verification Methods for Optimization of Circuits Under External Constraints D Große, L Klemmer, D Bonora 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024 | | 2024 |
| Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification/Author Lucas Klemmer L Klemmer | | 2024 |
| Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV L Klemmer, D Große arXiv preprint arXiv:2304.05837, 2023 | | 2023 |
| WSVA: A SystemVerilog Assertion to WAL Compiler L Klemmer, D Große | | |
| Replacing RISC-V Instructions by Others S Gurtner, L Klemmer, M Fleury, D Große SAT COMPETITION 2023, 54, 0 | | |
| A DSL for Visualizing Pipelines: A RISC-V Case Study L Klemmer, D Große | | |
Daniel GrosseFull Professor at Johannes Kepler University LinzVerified email at jku.at