stat - print some statistics

yosys> help stat

stat [options] [selection]

Print some statistics (number of objects) on the selected portion of the
design.

-top <module>

print design hierarchy with this module as top. if the design is fully
selected and a module has the 'top' attribute set, this module is used
default value for this option.

-liberty <liberty_file>

use cell area information from the provided liberty file

-tech <technology>

print area estimate for the specified technology. Currently supported
values for <technology>: xilinx, cmos

-width

annotate internal cell types with their word width.
e.g. $add_8 for an 8 bit wide $add cell.

-json

output the statistics in a machine-readable JSON format.
this is output to the console; use "tee" to output to a file.