Lucas Klemmer
ICS @ JKU, Austria
Institute for Complex Systems, Johannes Kepler University Linz, Austria
lucas.klemmer@jku.at

About Me

About Me

I'm a PhD student with the Institute for Complex Systems at the Johannes Kepler University in Linz, Austria. My interests include (formal) hardware verification, computer architecture, open-source EDA tools, and fun stuff with SMT solvers. I'm also on Mastodon.

WAL

WAL: Waveform Analysis Language

WAL is a programming language for the analysis of hardware simulation waveforms. More information about WAL can be found at wal-lang.org. 
(load "waveform.vcd")	  
(whenever (&& (rising clk) (! reset) ready valid)
          (print INDEX ":" data))
As an example of what is possible with WAL, I built an experimental SVA to WAL compiler.

Publications

Publications

Some of my recent publications:
WAVING Goodbye to Manual Waveform Analysis in HDL Design With WAL
Lucas Klemmer, Daniel Große
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( Early Access )
Towards a highly interactive design-debug-verification cycle
Lucas Klemmer, Daniel Große
2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 692-697
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis
Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große
2023 Forum on specification & Design Languages (FDL), 1-8
WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging
Lucas Klemmer, Daniel Große
2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 358-364
An Exploration Platform for Microcoded RISC-V Cores leveraging the One Instruction Set Computer Principle
Lucas Klemmer, Daniel Große
2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 38-43
EPEX: Processor Verification by Equivalent Program Execution
Lucas Klemmer, Daniel Große
Proceedings of the 2021 Great Lakes Symposium on VLSI (GLSVLSI), 33-38
The full list of my publications can be found here.