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.

-aig

also include AIG models for the different gate types

-compat-int

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.