7. Printing statistics.

=== picorv32 ===

   Number of wires:              27854
   Number of wire bits:          31555
   Number of public wires:         255
   Number of public wire bits:    3527
   Number of memories:               0
   Number of memory bits:            0
   Number of processes:              0
   Number of cells:              20144
     \7400                       14831
     \7404                        3668
     \74367                         32
     \74574                       1613