Tianxiang Weng <wtx...@gmail.com
> When reviewing a state machine design, it is easier to use state machine
> block diagrams.
A codebase I look after puts $display statements in the code that print
Graphviz code for each state in the state machine. The testbench exercises
the code to pass through all the states. When run, you pipe the output into
a .dot file and feed that into Graphviz, which will generate a PNG, SVG,
PDF of the state transition diagram.
It's a hack, but it works well enough.