fvm.toolchains.questa_pkg.parsers.parse_design_rpt module

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.