wavedrom-verilog wavedrom to verilog converter Rationale WaveDrom diagrams can be used to specify hardware behaviour. Specification by example interface RTL logic FSM BFM checker Features v95 signal player SV checker assertions SV functional coverage query signals glue diagrams