Skip to main navigation Skip to search Skip to main content

Surfer — An Extensible Waveform Viewer

  • Frans Skarman (Speaker)
  • Lucas Klemmer (Speaker)
  • Große, D. (Speaker)
  • Oscar Gustafsson (Speaker)
  • Kevin Laeufer (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

The waveform viewer is one of the most important tools in a hardware engineer’s toolbox. It is the main interface used to track down design bugs found by simulation or formal verification. In this paper, we present Surfer, a modern waveform viewer designed to integrate with the broader hardware design ecosystem. It supports translation from bit vectors to semantically meaningful values, integration with simulation and verification tools, and lays the groundwork for interactive simulation in the open-source ecosystem.
Period25 Jul 2025
Event titleInternational Conference on Computer Aided Verification (CAV) 2025
Event typeConference
LocationZagreb, CroatiaShow on map
Degree of RecognitionInternational

Fields of science

  • 202028 Microelectronics
  • 102011 Formal languages
  • 202017 Embedded systems
  • 102005 Computer aided design (CAD)
  • 202041 Computer engineering
  • 102 Computer Sciences
  • 202005 Computer architecture

JKU Focus areas

  • Digital Transformation

Documents & Links