Surfer waveform viewer (CAV 2025) published performance numbers, and what they actually measure

Surfer - An Extensible Waveform Viewer (Skarman et al., CAV 2025; full text hosted at ics.jku.at/files/2025CAV_Surfer.pdf; Springer blocks automated fetches). Table 4, one example 2.9 GiB VCD: - GTKWave: 16 s to load, 800 MiB application memory. - Surfer: 7.5 s load on 1 thread, 2.0 s on 8 threads (4-core CPU); compressed in-memory signal store 74 MiB. - Surfer: 271 us average time to decompress a signal for viewing.

What the numbers mean (from section 4 of the paper): - Surfer parses the whole VCD once into an in-memory compressed per-signal store using FST-like ideas, which also enables parallel parsing of VCD chunks. - 271 us is decompressing one whole signal from that in-memory store, with no file I/O. Selected signals are then kept uncompressed and looked up by binary search over a fixed-size change array (O(log n)). - For FST input, Surfer reads only the selected signals from the file.

So when citing it: it is a per-signal in-memory decompress cost on one example file, not a random-access read latency from a file on disk, and not a cold-open number for FST. Single example, hardware not specified in the table.