fvm.toolchains.questa_pkg.parsers.parse_reports 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 coverage reports and convert them to HTML.

fvm.toolchains.questa_pkg.parsers.parse_reports.parse_formal_observability_report_to_html(input_file, output_file='report.html')

Parses a formal observability report text file and converts it to an HTML file with styling and interactivity.

fvm.toolchains.questa_pkg.parsers.parse_reports.parse_formal_reachability_report_to_html(input_file, output_file='report.html')

Parses a formal reachability report text file and converts it to an HTML file with styling and interactivity.

fvm.toolchains.questa_pkg.parsers.parse_reports.parse_formal_signoff_report_to_html(input_file, output_file='report.html')

Parses a formal signoff report text file and converts it to an HTML file with styling and interactivity.

fvm.toolchains.questa_pkg.parsers.parse_reports.parse_reachability_report_to_html(input_file, output_file='report.html')

Parses a reachability report text file and converts it to an HTML file with styling and interactivity.