| # Copyright 2023 Google LLC |
| # Copyright lowRISC contributors |
| # |
| # Licensed under the Apache License, Version 2.0 (the "License"); |
| # you may not use this file except in compliance with the License. |
| # You may obtain a copy of the License at |
| # |
| # http://www.apache.org/licenses/LICENSE-2.0 |
| # |
| # Unless required by applicable law or agreed to in writing, software |
| # distributed under the License is distributed on an "AS IS" BASIS, |
| # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| # See the License for the specific language governing permissions and |
| # limitations under the License. |
| |
| r"""Testpoint and Testplan classes for maintaining the testplan |
| """ |
| |
| import os |
| import re |
| import sys |
| from collections import defaultdict |
| from pathlib import Path |
| |
| import hjson |
| import mistletoe |
| from tabulate import tabulate |
| |
| |
| class Result: |
| '''The results for a single test''' |
| |
| def __init__(self, |
| name, |
| passing=0, |
| total=0, |
| job_runtime=None, |
| simulated_time=None): |
| self.name = name |
| self.passing = passing |
| self.total = total |
| self.job_runtime = job_runtime |
| self.simulated_time = simulated_time |
| self.mapped = False |
| |
| |
| class Element(): |
| """An element of the testplan. |
| |
| This is either a testpoint or a covergroup. |
| """ |
| # Type of the testplan element. Must be set by the extended class. |
| kind = "none" |
| |
| # Mandatory fields in a testplan element. |
| fields = ["name", "desc"] |
| |
| def __init__(self, raw_dict): |
| """Initialize the testplan element. |
| |
| raw_dict is the dictionary parsed from the HJSon file. |
| """ |
| # 'tags' is an optional field in addition to the mandatory self.fields. |
| self.tags = [] |
| |
| for field in self.fields: |
| try: |
| setattr(self, field, raw_dict.pop(field)) |
| except KeyError as e: |
| raise KeyError(f"Error: {self.kind} does not contain all of " |
| f"the required fields:\n{raw_dict}\nRequired:\n" |
| f"{self.fields}\n{e}") |
| |
| # Set the remaining k-v pairs in raw_dict as instance attributes. |
| for k, v in raw_dict.items(): |
| setattr(self, k, v) |
| |
| # Verify things are in order. |
| self._validate() |
| |
| def __str__(self): |
| # Reindent the multiline desc with 4 spaces. |
| desc = "\n".join( |
| [" " + line.lstrip() for line in self.desc.split("\n")]) |
| return (f" {self.kind.capitalize()}: {self.name}\n" |
| f" Description:\n{desc}\n") |
| |
| def _validate(self): |
| """Runs some basic consistency checks.""" |
| if not self.name: |
| raise ValueError(f"Error: {self.kind.capitalize()} name cannot " |
| f"be empty:\n{self}") |
| |
| # "tags", if updated key must be list. |
| if not isinstance(self.tags, list): |
| raise ValueError(f"'tags' key in {self} is not a list.") |
| |
| def has_tags(self, tags: set) -> bool: |
| """Checks if the provided tags match the tags originally set. |
| |
| tags is a list of tags that are we are filtering this testpoints with. |
| Tags may be preceded with `-` to exclude the testpoints that contain |
| that tag. |
| |
| Vacuously returns true if tags is an empty list. |
| """ |
| if not tags: |
| return True |
| |
| for tag in tags: |
| if tag.startswith("-"): |
| if tag[1:] in self.tags: |
| return False |
| else: |
| if tag not in self.tags: |
| return False |
| |
| return True |
| |
| |
| class Covergroup(Element): |
| """A coverage model item. |
| |
| The list of covergroups defines the coverage model for the design. Each |
| entry captures the name of the covergroup (suffixed with _cg) and a brief |
| description describing what functionality is covered. It is recommended to |
| include individual coverpoints and crosses in the description. |
| """ |
| kind = "covergroup" |
| |
| def _validate(self): |
| super()._validate() |
| if not self.name.endswith("_cg"): |
| raise ValueError(f"Error: Covergroup name {self.name} needs to " |
| "end with suffix \"_cg\".") |
| |
| |
| class Testpoint(Element): |
| """An testcase entry in the testplan. |
| |
| A testpoint maps to a unique design feature that is planned to be verified. |
| It captures following information: |
| - name of the planned test |
| - a brief description indicating intent, stimulus and checking procedure |
| - the targeted stage |
| - the list of actual developed tests that verify it |
| """ |
| kind = "testpoint" |
| fields = Element.fields + ["stage", "tests"] |
| |
| # Verification stages. |
| stages = ("N.A.", "V1", "V2", "V2S", "V3") |
| |
| def __init__(self, raw_dict): |
| super().__init__(raw_dict) |
| |
| # List of Result objects indicating test results mapped to this |
| # testpoint. |
| self.test_results = [] |
| |
| # If tests key is set to ["N/A"], then don't map this testpoint to the |
| # simulation results. |
| self.not_mapped = False |
| if self.tests == ["N/A"]: |
| self.not_mapped = True |
| |
| def __str__(self): |
| return super().__str__() + (f" Stage: {self.stage}\n" |
| f" Tests: {self.tests}\n") |
| |
| def _validate(self): |
| super()._validate() |
| if self.stage not in Testpoint.stages: |
| raise ValueError(f"Testpoint stage {self.stage} is " |
| f"invalid:\n{self}\nLegal values: " |
| f"Testpoint.stages") |
| |
| # "tests" key must be list. |
| if not isinstance(self.tests, list): |
| raise ValueError(f"'tests' key in {self} is not a list.") |
| |
| def do_substitutions(self, substitutions): |
| '''Substitute {wildcards} in tests |
| |
| If tests have {wildcards}, they are substituted with the 'correct' |
| values using the key=value pairs provided by the substitutions arg. |
| Wildcards with no substitution arg are replaced by an empty string. |
| |
| substitutions is a dictionary of wildcard-replacement pairs. |
| ''' |
| resolved_tests = [] |
| for test in self.tests: |
| match = re.findall(r"{([A-Za-z0-9\_]+)}", test) |
| if not match: |
| resolved_tests.append(test) |
| continue |
| |
| # 'match' is a list of wildcards used in the test. Get their |
| # corresponding values. |
| subst = {item: substitutions.get(item, "") for item in match} |
| |
| resolved = [test] |
| for item, value in subst.items(): |
| values = value if isinstance(value, list) else [value] |
| resolved = [ |
| t.replace(f"{{{item}}}", v) for t in resolved |
| for v in values |
| ] |
| resolved_tests.extend(resolved) |
| |
| self.tests = resolved_tests |
| |
| def map_test_results(self, test_results): |
| """Map test results to tests against this testpoint. |
| |
| Given a list of test results find the ones that match the tests listed |
| in this testpoint and buiild a structure. If no match is found, or if |
| self.tests is an empty list, indicate 0/1 passing so that it is |
| factored into the final total. |
| """ |
| # If no written tests were indicated for this testpoint, then reuse |
| # the testpoint name to count towards "not run". |
| if not self.tests: |
| self.test_results = [Result(name=self.name)] |
| return |
| |
| # Skip if this testpoint is not meant to be mapped to the simulation |
| # results. |
| if self.not_mapped: |
| return |
| |
| for tr in test_results: |
| # tr is an instance of dvsim.Testplan.Result defined in opentitan |
| # assert isinstance(tr, Result) |
| if tr.name in self.tests: |
| tr.mapped = True |
| self.test_results.append(tr) |
| |
| # Did we map all tests in this testpoint? If we are mapping the full |
| # testplan, then count the ones not found as "not run", i.e. 0 / 0. |
| tests_mapped = [tr.name for tr in self.test_results] |
| for test in self.tests: |
| if test not in tests_mapped: |
| self.test_results.append(Result(name=test)) |
| |
| |
| class Testplan: |
| """The full testplan |
| |
| The list of Testpoints and Covergroups make up the testplan. |
| """ |
| |
| rsvd_keywords = ["import_testplans", "testpoints", "covergroups"] |
| element_cls = {'testpoint': Testpoint, 'covergroup': Covergroup} |
| |
| @staticmethod |
| def _parse_hjson(filename): |
| """Parses an input file with HJson and returns a dict.""" |
| try: |
| return hjson.load(open(filename, 'r')) |
| except IOError as e: |
| print(f"IO Error when opening file {filename}\n{e}") |
| except hjson.scanner.HjsonDecodeError as e: |
| print(f"Error: Unable to decode HJSON with file {filename}:\n{e}") |
| sys.exit(1) |
| |
| @staticmethod |
| def _create_testplan_elements(kind: str, raw_dicts_list: list, tags: set): |
| """Creates testplan elements from the list of raw dicts. |
| |
| kind is either 'testpoint' or 'covergroup'. |
| raw_dicts_list is a list of dictionaries extracted from the HJson file. |
| """ |
| items = [] |
| item_names = set() |
| for dict_entry in raw_dicts_list: |
| try: |
| item = Testplan.element_cls[kind](dict_entry) |
| except KeyError as e: |
| print(f"Error: {kind} arg is invalid.\n{e}") |
| sys.exit(1) |
| except ValueError as e: |
| print(f"{kind}\n{dict_entry}\n{e}") |
| sys.exit(1) |
| |
| if item.name in item_names: |
| print(f"Error: Duplicate {kind} item found with name: " |
| f"{item.name}") |
| sys.exit(1) |
| |
| # Filter out the item by tags if provided. |
| if item.has_tags(tags): |
| items.append(item) |
| item_names.add(item.name) |
| return items |
| |
| @staticmethod |
| def _get_percentage(value, total): |
| """Returns a string representing percentage upto 2 decimal places.""" |
| if total == 0: |
| return "-- %" |
| perc = value / total * 100 * 1.0 |
| return "{0:.2f} %".format(round(perc, 2)) |
| |
| @staticmethod |
| def get_dv_style_css(): |
| """Returns text with HTML CSS style for a table.""" |
| return ("<style>\n" |
| "table.dv {\n" |
| " border: 1px solid black;\n" |
| " border-collapse: collapse;\n" |
| " width: 100%;\n" |
| " text-align: left;\n" |
| " vertical-align: middle;\n" |
| " display: table;\n" |
| " font-size: smaller;\n" |
| "}\n" |
| "table.dv th, td {\n" |
| " border: 1px solid black;\n" |
| "}\n" |
| "</style>\n") |
| |
| def __str__(self): |
| lines = [f"Name: {self.name}\n"] |
| lines += ["Testpoints:"] |
| lines += [f"{t}" for t in self.testpoints] |
| lines += ["Covergroups:"] |
| lines += [f"{c}" for c in self.covergroups] |
| return "\n".join(lines) |
| |
| def __init__(self, filename, repo_top=None, titan_root=None, name=None): |
| """Initialize the testplan. |
| |
| filename is the HJson file that captures the testplan. It may be |
| suffixed with tags separated with a colon delimiter to filter the |
| testpoints. For example: path/too/foo_testplan.hjson:bar:baz |
| repo_top is an optional argument indicating the path to top level repo |
| / project directory. It is used with filename arg. |
| name is an optional argument indicating the name of the testplan / DUT. |
| It overrides the name set in the testplan HJson. |
| """ |
| self.name = None |
| self.testpoints = [] |
| self.covergroups = [] |
| self.test_results_mapped = False |
| |
| # Split the filename into filename and tags, if provided. |
| split = str(filename).split(":") |
| filename = Path(split[0]) |
| tags = set(split[1:]) |
| |
| if filename.exists(): |
| self._parse_testplan(filename, tags, repo_top, titan_root) |
| |
| if name: |
| self.name = name |
| |
| if not self.name: |
| print("Error: the testplan 'name' is not set!") |
| sys.exit(1) |
| |
| # Represents current progress towards each stage. Stage = N.A. |
| # is used to indicate the unmapped tests. |
| self.progress = {} |
| for key in Testpoint.stages: |
| self.progress[key] = { |
| "total": 0, |
| "written": 0, |
| "passing": 0, |
| "progress": 0.0, |
| } |
| |
| @staticmethod |
| def _get_imported_testplan_paths(parent_testplan: Path, |
| imported_testplans: list, repo_top: Path, |
| titan_root: Path) -> list: |
| '''Parse imported testplans with correctly set paths. |
| |
| Paths of the imported testplans can be set relative to repo_top |
| or relative to the parent testplan importing it. Path anchored to |
| the repo_top has higher precedence. If the path is not relative to |
| either, we check if the path is absolute (which must be avoided!), |
| else we raise an exception. |
| |
| parent_testplan is the testplan currently being processed which |
| importing the sub-testplans. |
| imported_testplans is the list of testplans it imports - retrieved |
| directly from its Hjson file. |
| repo_top is the path to the repository's root directory. |
| |
| Returns a list of imported testplans with correctly set paths. |
| Raises FileNotFoundError if the relative path to the testplan is |
| not anchored to repo_top or the parent testplan. |
| ''' |
| result = [] |
| for testplan in imported_testplans: |
| path = repo_top / testplan |
| if path.exists(): |
| result.append(path) |
| continue |
| |
| path = parent_testplan.parent / testplan |
| if path.exists(): |
| result.append(path) |
| continue |
| |
| path = titan_root / testplan |
| if path.exists(): |
| result.append(path) |
| continue |
| |
| # In version-controlled codebases, references to absolute paths |
| # must not exist. This usecase is supported anyway. |
| path = Path(testplan) |
| if path.exists(): |
| result.append(path) |
| continue |
| |
| raise FileNotFoundError(f"Testplan {testplan} imported by " |
| f"{parent_testplan} does not exist.") |
| |
| return result |
| |
| def _parse_testplan(self, |
| filename: Path, |
| tags: set, |
| repo_top=None, |
| titan_root=None): |
| '''Parse testplan Hjson file and create the testplan elements. |
| |
| It creates the list of testpoints and covergroups extracted from the |
| file. |
| |
| filename is the path to the testplan file written in HJson format. |
| repo_top is an optional argument indicating the path to repo top. |
| ''' |
| if repo_top is None: |
| # Assume dvsim's original location: $REPO_TOP/util/dvsim. |
| repo_top = Path(__file__).parent.parent.parent.resolve() |
| |
| obj = Testplan._parse_hjson(filename) |
| |
| parsed = set() |
| parent_testplan = Path(filename) |
| imported_testplans = self._get_imported_testplan_paths( |
| parent_testplan, obj.get("import_testplans", []), repo_top, |
| titan_root) |
| |
| while imported_testplans: |
| testplan = imported_testplans.pop(0) |
| if testplan in parsed: |
| print(f"Error: encountered the testplan {testplan} again, " |
| "which was already parsed. Please check for circular " |
| "dependencies.") |
| sys.exit(1) |
| parsed.add(testplan) |
| data = self._parse_hjson(os.path.join(repo_top, testplan)) |
| imported_testplans.extend( |
| self._get_imported_testplan_paths( |
| testplan, data.get("import_testplans", []), repo_top, |
| titan_root)) |
| obj = _merge_dicts(obj, data) |
| |
| self.name = obj.get("name") |
| |
| testpoints = obj.get("testpoints", []) |
| self.testpoints = self._create_testplan_elements( |
| 'testpoint', testpoints, tags) |
| |
| covergroups = obj.get("covergroups", []) |
| self.covergroups = self._create_testplan_elements( |
| 'covergroup', covergroups, set()) |
| |
| if not testpoints and not covergroups: |
| print(f"Error: No testpoints or covergroups found in {filename}") |
| sys.exit(1) |
| |
| # Any variable in the testplan that is not a recognized HJson field can |
| # be used as a substitution variable. |
| substitutions = { |
| k: v |
| for k, v in obj.items() if k not in self.rsvd_keywords |
| } |
| for tp in self.testpoints: |
| tp.do_substitutions(substitutions) |
| |
| self._sort() |
| |
| def _sort(self): |
| """Sort testpoints by stage and covergroups by name.""" |
| self.testpoints.sort(key=lambda x: x.stage) |
| self.covergroups.sort(key=lambda x: x.name) |
| |
| def get_stage_regressions(self): |
| regressions = defaultdict(set) |
| for tp in self.testpoints: |
| if tp.not_mapped: |
| continue |
| if tp.stage in tp.stages[1:]: |
| regressions[tp.stage].update({t for t in tp.tests if t}) |
| |
| # Build regressions dict into a hjson like data structure |
| return [{ |
| "name": ms, |
| "tests": list(regressions[ms]) |
| } for ms in regressions] |
| |
| def get_testplan_table(self, fmt="pipe"): |
| """Generate testplan table from hjson testplan. |
| |
| fmt is either 'pipe' (markdown) or 'html'. 'pipe' is the name used by |
| tabulate to generate a markdown formatted table. |
| """ |
| assert fmt in ["pipe", "html"] |
| |
| # Map between the requested format and a pair (tabfmt, formatter) where |
| # tabfmt is the "tablefmt" argument for tabulate.tabulate and formatter |
| # converts the input Markdown text to something we can pass to the |
| # formatter. |
| fmt_configs = { |
| # For Markdown output, we pass the input text straight through |
| 'pipe': ('pipe', lambda x: x), |
| # For HTML output, we convert the Markdown to HTML using the |
| # mistletoe library. The tablefmt argument should be 'unsafehtml' |
| # in this case because this already escapes things like '<' and |
| # don't want to double-escape them when tabulating. |
| 'html': ('unsafehtml', mistletoe.markdown) |
| } |
| tabfmt, formatter = fmt_configs[fmt] |
| |
| if self.testpoints: |
| lines = [formatter("\n### Testpoints\n")] |
| header = ["Stage", "Name", "Tests", "Description"] |
| colalign = ("center", "center", "left", "left") |
| table = [] |
| for tp in self.testpoints: |
| desc = formatter(tp.desc.strip()) |
| |
| # tests is a list of strings. We want to insert them into a |
| # table and (conveniently) we can put one on each line in both |
| # Markdown and HTML mode by interspersing with '<br>' tags. |
| tests = "<br>\n".join(tp.tests) |
| |
| table.append([tp.stage, tp.name, tests, desc]) |
| lines += [ |
| tabulate(table, |
| headers=header, |
| tablefmt=tabfmt, |
| colalign=colalign) |
| ] |
| |
| if self.covergroups: |
| lines += [formatter("\n### Covergroups\n")] |
| header = ["Name", "Description"] |
| colalign = ("center", "left") |
| table = [] |
| for covergroup in self.covergroups: |
| desc = formatter(covergroup.desc.strip()) |
| table.append([covergroup.name, desc]) |
| lines += [ |
| tabulate(table, |
| headers=header, |
| tablefmt=tabfmt, |
| colalign=colalign) |
| ] |
| |
| text = "\n".join(lines) |
| if fmt == "html": |
| text = self.get_dv_style_css() + text |
| text = text.replace("<table>", "<table class=\"dv\">") |
| |
| # Tabulate does not support HTML tags. |
| text = text.replace("<", "<").replace(">", ">") |
| return text |
| |
| def map_test_results(self, test_results): |
| """Map test results to testpoints.""" |
| # Maintain a list of tests we already counted. |
| tests_seen = set() |
| |
| def _process_testpoint(testpoint, totals): |
| """Computes the testplan progress and the sim footprint. |
| |
| totals is a list of Testpoint items that represent the total number |
| of tests passing for each stage. The sim footprint is simply |
| the sum total of all tests run in the simulation, counted for each |
| stage and also the grand total. |
| """ |
| ms = testpoint.stage |
| for tr in testpoint.test_results: |
| if not tr: |
| continue |
| |
| if tr.name in tests_seen: |
| continue |
| |
| tests_seen.add(tr.name) |
| # Compute the testplan progress. |
| self.progress[ms]["total"] += 1 |
| if tr.total != 0: |
| if tr.passing == tr.total: |
| self.progress[ms]["passing"] += 1 |
| self.progress[ms]["written"] += 1 |
| |
| # Compute the stage total & the grand total. |
| totals[ms].test_results[0].passing += tr.passing |
| totals[ms].test_results[0].total += tr.total |
| if ms != "N.A.": |
| totals["N.A."].test_results[0].passing += tr.passing |
| totals["N.A."].test_results[0].total += tr.total |
| |
| totals = {} |
| # Create testpoints to represent the total for each stage & the |
| # grand total. |
| for ms in Testpoint.stages: |
| arg = { |
| "name": "N.A.", |
| "desc": f"Total {ms} tests", |
| "stage": ms, |
| "tests": [], |
| } |
| totals[ms] = Testpoint(arg) |
| totals[ms].test_results = [Result("**TOTAL**")] |
| |
| # Create unmapped as a testpoint to represent tests from the simulation |
| # results that could not be mapped to the testpoints. |
| arg = { |
| "name": "Unmapped tests", |
| "desc": "Unmapped tests", |
| "stage": "N.A.", |
| "tests": [], |
| } |
| unmapped = Testpoint(arg) |
| |
| # Now, map the simulation results to each testpoint. |
| for tp in self.testpoints: |
| tp.map_test_results(test_results) |
| _process_testpoint(tp, totals) |
| |
| # If we do have unmapped tests, then count that too. |
| unmapped.test_results = [tr for tr in test_results if not tr.mapped] |
| _process_testpoint(unmapped, totals) |
| |
| # Add stage totals back into 'testpoints' and sort. |
| for ms in Testpoint.stages[1:]: |
| self.testpoints.append(totals[ms]) |
| self._sort() |
| |
| # Append unmapped and the grand total at the end. |
| if unmapped.test_results: |
| self.testpoints.append(unmapped) |
| self.testpoints.append(totals["N.A."]) |
| |
| # Compute the progress rate for each stage. |
| for ms in Testpoint.stages: |
| stat = self.progress[ms] |
| |
| # Remove stages that are not targeted. |
| if stat["total"] == 0: |
| self.progress.pop(ms) |
| continue |
| |
| stat["progress"] = self._get_percentage(stat["passing"], |
| stat["total"]) |
| |
| self.test_results_mapped = True |
| |
| def map_covergroups(self, cgs_found): |
| """Map the covergroups found from simulation to the testplan. |
| |
| For now, this does nothing more than 'check off' the covergroup |
| found from the simulation results with the coverage model in the |
| testplan by updating the progress dict. |
| |
| cgs_found is a list of covergroup names extracted from the coverage |
| database after the simulation is run with coverage enabled. |
| """ |
| |
| if not self.covergroups: |
| return |
| |
| written = 0 |
| total = 0 |
| for cg in self.covergroups: |
| total += 1 |
| if cg.name in cgs_found: |
| written += 1 |
| |
| self.progress["Covergroups"] = { |
| "total": total, |
| "written": written, |
| "passing": written, |
| "progress": self._get_percentage(written, total), |
| } |
| |
| def get_test_results_table(self, map_full_testplan=True): |
| """Return the mapped test results into a markdown table.""" |
| |
| assert self.test_results_mapped, "Have you invoked map_test_results()?" |
| header = [ |
| "Stage", "Name", "Tests", "Max Job Runtime", "Simulated Time", |
| "Passing", "Total", "Pass Rate" |
| ] |
| colalign = ('center', ) * 2 + ('left', ) + ('center', ) * 5 |
| table = [] |
| for tp in self.testpoints: |
| stage = "" if tp.stage == "N.A." else tp.stage |
| tp_name = "" if tp.name == "N.A." else tp.name |
| for tr in tp.test_results: |
| if tr.total == 0 and not map_full_testplan: |
| continue |
| pass_rate = self._get_percentage(tr.passing, tr.total) |
| |
| job_runtime = "" if tr.job_runtime is None else str( |
| tr.job_runtime) |
| simulated_time = "" if tr.simulated_time is None else str( |
| tr.simulated_time) |
| |
| table.append([ |
| stage, tp_name, tr.name, job_runtime, simulated_time, |
| tr.passing, tr.total, pass_rate |
| ]) |
| stage = "" |
| tp_name = "" |
| |
| text = "\n### Test Results\n" |
| text += tabulate(table, |
| headers=header, |
| tablefmt="pipe", |
| colalign=colalign) |
| text += "\n" |
| return text |
| |
| def get_progress_table(self): |
| """Returns the current progress of the effort towards the testplan.""" |
| |
| assert self.test_results_mapped, "Have you invoked map_test_results()?" |
| header = [] |
| table = [] |
| for key in self.progress: |
| stat = self.progress[key] |
| values = [v for v in stat.values()] |
| if not header: |
| header = ["Items"] + [k.capitalize() for k in stat] |
| table.append([key] + values) |
| |
| text = "\n### Testplan Progress\n" |
| colalign = (("center", ) * len(header)) |
| text += tabulate(table, |
| headers=header, |
| tablefmt="pipe", |
| colalign=colalign) |
| text += "\n" |
| return text |
| |
| def get_cov_results_table(self, cov_results): |
| """Returns the coverage in a table format. |
| |
| cov_results is a list of dicts with name and result keys, representing |
| the name of the coverage metric and the result in decimal / fp value. |
| """ |
| |
| if not cov_results: |
| return "" |
| |
| try: |
| cov_header = [c["name"].capitalize() for c in cov_results] |
| cov_values = [c["result"] for c in cov_results] |
| except KeyError as e: |
| print(f"Malformed cov_results:\n{cov_results}\n{e}") |
| sys.exit(1) |
| |
| colalign = (("center", ) * len(cov_header)) |
| text = "\n### Coverage Results\n" |
| text += tabulate([cov_values], |
| headers=cov_header, |
| tablefmt="pipe", |
| colalign=colalign) |
| text += "\n" |
| return text |
| |
| def get_test_results_summary(self): |
| """Returns the final total as a summary.""" |
| assert self.test_results_mapped, "Have you invoked map_test_results()?" |
| |
| # The last item in tespoints is the final sum total. We use that to |
| # return the results summary as a dict. |
| total = self.testpoints[-1] |
| assert total.name == "N.A." |
| assert total.stage == "N.A." |
| |
| tr = total.test_results[0] |
| |
| result = {} |
| result["Name"] = self.name.upper() |
| result["Passing"] = tr.passing |
| result["Total"] = tr.total |
| result["Pass Rate"] = self._get_percentage(tr.passing, tr.total) |
| return result |
| |
| def get_sim_results(self, sim_results_file, fmt="md"): |
| """Returns the mapped sim result tables in HTML formatted text. |
| |
| The data extracted from the sim_results table HJson file is mapped into |
| a test results, test progress, covergroup progress and coverage tables. |
| |
| fmt is either 'md' (markdown) or 'html'. |
| """ |
| assert fmt in ["md", "html"] |
| sim_results = Testplan._parse_hjson(sim_results_file) |
| test_results_ = sim_results.get("test_results", None) |
| |
| test_results = [] |
| for item in test_results_: |
| try: |
| tr = Result(item["name"], item["passing"], item["total"]) |
| test_results.append(tr) |
| except KeyError as e: |
| print(f"Error: data in {sim_results_file} is malformed!\n{e}") |
| sys.exit(1) |
| |
| self.map_test_results(test_results) |
| self.map_covergroups(sim_results.get("covergroups", [])) |
| |
| text = "# Simulation Results\n" |
| text += "## Run on {}\n".format(sim_results["timestamp"]) |
| text += self.get_test_results_table() |
| text += self.get_progress_table() |
| |
| cov_results = sim_results.get("cov_results", []) |
| text += self.get_cov_results_table(cov_results) |
| |
| if fmt == "html": |
| text = self.get_dv_style_css() + mistletoe.markdown(text) |
| text = text.replace("<table>", "<table class=\"dv\">") |
| return text |
| |
| |
| def _merge_dicts(list1, list2, use_list1_for_defaults=True): |
| '''Merge 2 dicts into one |
| |
| This function takes 2 dicts as args list1 and list2. It recursively merges |
| list2 into list1 and returns list1. The recursion happens when the the |
| value of a key in both lists is a dict. If the values of the same key in |
| both lists (at the same tree level) are of dissimilar type, then there is a |
| conflict and an error is thrown. If they are of the same scalar type, then |
| the third arg "use_list1_for_defaults" is used to pick the final one. |
| ''' |
| for key, item2 in list2.items(): |
| item1 = list1.get(key) |
| if item1 is None: |
| list1[key] = item2 |
| continue |
| |
| # Both dictionaries have an entry for this key. Are they both lists? If |
| # so, append. |
| if isinstance(item1, list) and isinstance(item2, list): |
| list1[key] = item1 + item2 |
| continue |
| |
| # Are they both dictionaries? If so, recurse. |
| if isinstance(item1, dict) and isinstance(item2, dict): |
| _merge_dicts(item1, item2) |
| continue |
| |
| # We treat other types as atoms. If the types of the two items are |
| # equal pick one or the other (based on use_list1_for_defaults). |
| if isinstance(item1, type(item2)) and isinstance(item2, type(item1)): |
| list1[key] = item1 if use_list1_for_defaults else item2 |
| continue |
| |
| # Oh no! We can't merge this. |
| print("ERROR: Cannot merge dictionaries at key {!r} because items " |
| "have conflicting types ({} in 1st; {} in 2nd).".format( |
| key, type(item1), type(item2))) |
| sys.exit(1) |
| |
| return list1 |
