json - write design in JSON format

    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.