7. Printing statistics.

=== picorv32 ===

   Number of wires:              15293
   Number of wire bits:          18994
   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:               7583
     \7400_NAND2                   701
     \7402_NOR2                    446
     \7404_NOT                     176
     \7408_AND2                    359
     \7410_NAND3                   480
     \7411_AND3                    143
     \74153_MUX4                   487
     \74157_MUX2                  1575
     \7420_NAND4                   342
     \7421_AND4                     71
     \7427_NOR3                    337
     \7429_NOR4                    176
     \7432_OR2                     387
     \74367_BUF                     32
     \74574_DFF                   1613
     \7486_XOR2                    258