Verilog, Fpga, Macos, Big Sur, Getting Started.
open solution, GTKWave, or the “made for mac” solution: Scansion. However, none of them seems nice to use since Scansion suffers from bugs when zooming in the waveforms and GTKWave wasn’t adapted to Retina displays. If you know a better solution, feel free to share the information in the comments.