fvm.toolchains.questa_pkg.parsers package

Warning

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

Submodules

• fvm.toolchains.questa_pkg.parsers.parse_clocks module
  • parse_clocks_results()
• fvm.toolchains.questa_pkg.parsers.parse_design_rpt module
  • data_from_design_summary()
  • difficulty_score()
  • difficulty_to_friendliness()
  • friendliness_score()
  • get_design_summary()
  • parse_design_summary()
  • update_storage_structures()
• fvm.toolchains.questa_pkg.parsers.parse_formal_signoff module
  • add_total_field()
  • filter_coverage_tables()
  • parse_coverage_table()
  • unified_format_table()
• fvm.toolchains.questa_pkg.parsers.parse_lint module
  • parse_check_summary()
• fvm.toolchains.questa_pkg.parsers.parse_prove module
  • normalize_sections()
  • parse_properties_extended()
  • parse_property_summary()
  • parse_targets_report()
  • property_summary()
• fvm.toolchains.questa_pkg.parsers.parse_reachability module
  • add_total_row()
  • parse_single_table()
  • unified_format_table()
• fvm.toolchains.questa_pkg.parsers.parse_reports module
  • parse_formal_observability_report_to_html()
  • parse_formal_reachability_report_to_html()
  • parse_formal_signoff_report_to_html()
  • parse_reachability_report_to_html()
• fvm.toolchains.questa_pkg.parsers.parse_resets module
  • parse_resets_results()
• fvm.toolchains.questa_pkg.parsers.parse_rulecheck module
  • group_by_severity()
  • parse_type_and_severity()
• fvm.toolchains.questa_pkg.parsers.parse_simcover module
  • merge_coverage()
  • parse_coverage_report()
  • sum_coverage_data()
  • unified_format_table()
• fvm.toolchains.questa_pkg.parsers.parse_xverify module
  • group_by_result()
  • parse_type_and_result()

Module contents

Parsers for multiple Questa Formal reports