Lucas Klemmer

According to our database, Lucas Klemmer authored at least 14 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2024

An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs.

Lucas Klemmer, Daniel Große

Proceedings of the Forum on Specification & Design Languages, 2024

Using Formal Verification Methods for Optimization of Circuits Under External Constraints.

Daniel Große, Lucas Klemmer, Dominik Bonora

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Towards a Highly Interactive Design-Debug-Verification Cycle.

Lucas Klemmer, Daniel Große

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV.

Lucas Klemmer, Daniel Große

CoRR, 2023

Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis.

Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große

Proceedings of the Forum on Specification & Design Languages, 2023

2022

An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle.

Lucas Klemmer, Daniel Große

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2022

RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V.

Lucas Klemmer, Manfred Schlägl, Daniel Große

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

Formal Verification of SUBLEQ Microcode implementing the RV32I ISA.

Lucas Klemmer, Sonja Gurtner, Daniel Große

Proceedings of the Forum on Specification & Design Languages, 2022

Waveform-based performance analysis of RISC-V processors: late breaking results.

Lucas Klemmer, Daniel Große

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging.

Lucas Klemmer, Daniel Große

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding.

Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

EPEX: Processor Verification by Equivalent Program Execution.

Lucas Klemmer, Daniel Große

Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

2020

ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks.

Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020