Lucas Klemmer

I'm a Postdoc 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.

You can also find me on Mastodon, GitLab, and GitHub.

WAL is a programming language for the analysis of hardware waveforms. It is useful for anything from counting how often simple conditions are true to analyzing busses and caches to a lot more. Wal can be used standalone or embedded in other programming languages.

More information about WAL can be found at wal-lang.org or in our open-access journal article.

(load "waveform.vcd")	  
(whenever (&& (rising clk) ready valid)
  (print INDEX ":" data))

As an example of what is possible with WAL, I built an experimental SVA to WAL compiler. For another example try SonicRv. It is a teaching tool developed at ICS for our computer architecture class. At the core of SonicRV is a WAL program that reconstructs the pipeline from RTL simulation waveforms.

Surfer is a modern waveform viewer written in Rust with a focus on extensibility, customization, and a snappy user interface. I'm one of the co-maintainers of Surfer, together with my colleagues in Linköping, Sweden.

Among other things, I'm working on the keyboard-driven interface, the configuration system, RISC-V support, scriptability, and, of course, WAL integration. You can try the online version of Surfer or find more information about it at surfer-project.org.