json - write design in JSON format

yosys> help json
json [options] [selection]
Write a JSON netlist of all selected objects.
-o <filename>
write to the specified file.
also include AIG models for the different gate types
emit 32-bit or smaller fully-defined parameter values directly
as JSON numbers (for compatibility with old parsers)
See 'help write_json' for a description of the JSON format used.