Description

Yosys has support to generate JSON stats, which are better for scripting and don't break when the log output format changes.

Suggested Solution

Use stats -json

Additional Context

No response