Add more detailed statistics

[veripoolbot]

---

Author Name: Jeremy Bennett (@jeremybennett)
Original Redmine Issue: 851 from https://www.veripool.org
Original Date: 2014-11-26
Original Assignee: Jeremy Bennett (@jeremybennett)

---

When optimizing a model, it is useful not just to know how many vars of different sizes there are, but what those vars are. Large ones are candidates for splitting up.

The following patch adds a new flag @--extra-stats@ (which implies @--stats@), which will extend the vars section of the stats output to print the name of each variable of each size.

Please review and pull the patch from branch extra-stats at https://github.com/jeremybennett/verilator. This includes the patch of issue 849, since I needed this to get the system to compile.

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-11-26T21:56:16Z

---

I'd prefer to either call this -stats-vars, or --statsi 2 which is like the debugi and dump-treei options. It sort of depends how many similar features may get added here. Which do you prefer?

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-12-20T13:31:02Z

---

Went with --stats-vars. Pushed to git towards 3.857.

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-12-20T21:52:57Z

---

In 3.868.