ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks. - Saman Fröhlich; Lucas Klemmer; Daniel Große; Rolf Drechsler (ISMVL, 2020)

EPEX: Processor Verification by Equivalent Program Execution. - Lucas Klemmer; Daniel Große (ACM Great Lakes Symposium on VLSI, 2021)

XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding. - Lucas Klemmer; Saman Fröhlich; Rolf Drechsler; Daniel Große (ISCAS, 2021)

WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging. - Lucas Klemmer; Daniel Große (ASP-DAC, 2022)

Waveform-based performance analysis of RISC-V processors: late breaking results. - Lucas Klemmer; Daniel Große (DAC, 2022)

Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. - Lucas Klemmer; Sonja Gurtner; Daniel Große (FDL, 2022)

RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V. - Lucas Klemmer; Manfred Schlägl; Daniel Große (ACM Great Lakes Symposium on VLSI, 2022)

An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle. - Lucas Klemmer; Daniel Große (ISVLSI, 2022)

Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. - Frans Skarman; Lucas Klemmer; Oscar Gustafsson; Daniel Große (FDL, 2023)

Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV. - Lucas Klemmer; Daniel Große (CoRR, 2023)

Towards a Highly Interactive Design-Debug-Verification Cycle. - Lucas Klemmer; Daniel Große (ASPDAC, 2024)

Using Formal Verification Methods for Optimization of Circuits Under External Constraints. - Daniel Große; Lucas Klemmer; Dominik Bonora (DATE, 2024)

An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs. - Lucas Klemmer; Daniel Große (FDL, 2024)

WAVING Goodbye to Manual Waveform Analysis in HDL Design With WAL. - Lucas Klemmer; Daniel Große (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Surfer - An Extensible Waveform Viewer. - Frans Skarman; Lucas Klemmer; Daniel Große; Oscar Gustafsson; Kevin Laeufer (CAV (4), 2025)