Yosys show

[jiahzhang]

In yosys show, how can I get the dot format to separate out/flatten bus signals? Right now in the graph a particular bus will have multiple drivers to it in the graph picture, but I would like something like bus[0], bus[1], etc instead of just "bus"

[jiahzhang]

Never mind, I think I got it with splitnets