fvm.toolchains.questa_pkg.parsers.parse_design_rpt module

Warning

Callables that are not documented in the Public API are not intented to be directly used and thus may change between minor versions.

Parsers for friendliness score

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.data_from_design_summary(filename)

Extracts and parses the design summary from a design report file.

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.difficulty_score(data)

Computes an overall formal difficulty score according to a weighted operation of the number of elements in the design. Currently the operation is just a sum but it could be an exponential function in the future

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.difficulty_to_friendliness(difficulty)

Converts difficulty score to a friendliness percentage

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.friendliness_score(data)

Computes the friendliness score

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.get_design_summary(filename)

Extracts the design summary section from a design report file.

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.parse_design_summary(summary)

Parses the design summary section and returns a list of lists with category, statistic, count

fvm.toolchains.questa_pkg.parsers.parse_design_rpt.update_storage_structures(data)

Updates the ‘Storage Structures’ row with the total number of storage structures found in the design summary.