[_chris_]

> It requires Gtkwave to view waveforms with (opinion, but I hate the UI)

It dumps a value-change file (vcd) which can be viewed by anything, no? Sure it's not very compressed (and the compile-time for vcd-generation is unfortunate), but it's not a show-stopper.

[analognoise]

This is correct; although I am unaware of a FOSS vcd viewer which improves upon Gtkwave.

I would be exceedingly happy to find one, however; please let me know.