fvm.toolchains.questa_pkg.parsers.parse_reports module

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.