Lucas Klemmer

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Formal Verification

Programming Language

Memory Subsystem

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Lucas Klemmer, Daniel Große
Towards a Highly Interactive Design-Debug-Verification Cycle. ASPDAC (2024)
Daniel Große, Lucas Klemmer, Dominik Bonora
Using Formal Verification Methods for Optimization of Circuits Under External Constraints. DATE (2024)
Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. FDL (2023)
Lucas Klemmer, Daniel Große
Programming Language Assisted Waveform Analysis: A Case Study on the Instruction Performance of SERV. CoRR (2023)
Lucas Klemmer, Daniel Große
An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle. ISVLSI (2022)
Lucas Klemmer, Daniel Große
Waveform-based performance analysis of RISC-V processors: late breaking results. DAC (2022)
Lucas Klemmer, Manfred Schlägl, Daniel Große
RVVRadar: A Framework for Supporting the Programmer in Vectorization for RISC-V. ACM Great Lakes Symposium on VLSI (2022)
Lucas Klemmer, Sonja Gurtner, Daniel Große
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. FDL (2022)
Lucas Klemmer, Daniel Große
WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging. ASP-DAC (2022)
Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große
XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding. ISCAS (2021)
Lucas Klemmer, Daniel Große
EPEX: Processor Verification by Equivalent Program Execution. ACM Great Lakes Symposium on VLSI (2021)
Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler
ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks. ISMVL (2020)