Incorrect command line option max memory stats for databased synthesis
In the databased synthesis option window, under Command line options
, it shows the option for --stats=memory
to return the max memory statistic after synthesis. However, when this option is applied, the following error is displayed: ERROR: Invalid value for option "--stats": "+timing,+memory". CAUSE: Unknown option value part: "memory".
When inputting --stats=max-memory
, everything works as aspected.
So there is an inconsistency to the explanation in the synthesis option window, and the actual command line options that need to be input. I'm not sure if this inconsistency extends to other parts of the documentation.