stat - print some statistics

yosys> help stat
stat [options] [selection]
Print some statistics (number of objects) on the selected portion of the
-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
annotate internal cell types with their word width.
e.g. $add_8 for an 8 bit wide $add cell.
output the statistics in a machine-readable JSON format.
this is output to the console; use "tee" to output to a file.