netlistsvg

Great article. Especially needed since Yosys is very difficult to use. One tip, maybe. Yosys's Graphviz output is frankly incomprehensible shit, and Graphviz isn't very good at laying out these sorts of graphs. But it also can output the information to JSON with the write_json command which lets you use other better tools, e.g. https://github.com/nturley/netlistsvg

Soon: there are 15 different formats for passing netlists around ( oblig https://xkcd.com/927/ ) I have very little hope from any netlist format that comes from Yosys. Not only has it changed a couple times in the last years, but the latest iteration is some JSON-based monstrosity that has to be by far the most inconvenient netlist format ever created (see https://github.com/nturley/netlistsvg/blob/master/test/digit... ) .

You could implement your design in nmigen [1], use it to generate either verilog or rtlil, then use yosys (via [2]) to reduce it to an AND and NOT circuit (using the 'aigmap' command), then visualize it with [3] [1]: https://github.com/nmigen/nmigen [2]: https://yowasp.org [3]: https://github.com/nturley/netlistsvg