Criar uma função para exportar todo o circuito carregado na memória para um arquivo de netlist no formado JSON, como o gerado pelo Yosys.
Um dos objetivos disso é utilizar este JSON para visualizar os diagramas de circuitos por meio de outras ferramentas. Exemplo: https://github.com/nturley/netlistsvg
Criar uma função para exportar todo o circuito carregado na memória para um arquivo de netlist no formado JSON, como o gerado pelo Yosys.
Um dos objetivos disso é utilizar este JSON para visualizar os diagramas de circuitos por meio de outras ferramentas. Exemplo: https://github.com/nturley/netlistsvg