Lucas Klemmer

16 papers A* 1A 1B 1C 4Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
SonicRV: An Educational Platform for Web-Based Simulation and Visualization of RISC-V Processor Architectures.
IEEE Access
Daniel Große, Simon Reitinger, Lucas Klemmer
2025 — conf
Surfer - An Extensible Waveform Viewer.
CAV (4)
Frans Skarman, Lucas Klemmer, Daniel Große, Oscar Gustafsson, Kevin Laeufer
2024 C conf
An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs.
FDL
Lucas Klemmer, Daniel Große
2024 B conf
Towards a Highly Interactive Design-Debug-Verification Cycle.
ASPDAC
Lucas Klemmer, Daniel Große
2024 A conf
Using Formal Verification Methods for Optimization of Circuits Under External Constraints.
DATE
Daniel Große, Lucas Klemmer, Dominik Bonora
2024 J jnl
WAVING Goodbye to Manual Waveform Analysis in HDL Design With WAL.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Lucas Klemmer, Daniel Große
2023 C conf
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis.
FDL
Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große
2023 J jnl
Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV.
CoRR
Lucas Klemmer, Daniel Große
2022 — conf
An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle.
ISVLSI
Lucas Klemmer, Daniel Große
2022 C conf
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA.
FDL
Lucas Klemmer, Sonja Gurtner, Daniel Große
2022 — conf
RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V.
ACM Great Lakes Symposium on VLSI
Lucas Klemmer, Manfred Schlägl, Daniel Große
2022 — conf
WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging.
ASP-DAC
Lucas Klemmer, Daniel Große
2022 A* conf
Waveform-based performance analysis of RISC-V processors: late breaking results.
DAC
Lucas Klemmer, Daniel Große
2021 — conf
EPEX: Processor Verification by Equivalent Program Execution.
ACM Great Lakes Symposium on VLSI
Lucas Klemmer, Daniel Große
2021 C conf
XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding.
ISCAS
Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große
2020 — conf
ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks.
ISMVL
Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler