Method check

src/DesignCompile/UhdmChecker.cpp:652–696

}

bool UhdmChecker::check(PathId uhdmFileId) {
  FileSystem* const fileSystem = FileSystem::getInstance();
  // Register all objects location in file content
  CommandLineParser* clp =
      m_compileDesign->getCompiler()->getCommandLineParser();
  SymbolTable* symbols = m_compileDesign->getCompiler()->getSymbolTable();
  std::set<const FileContent*> files;
  std::set<std::string_view> moduleNames;
  for (ModuleInstance* top : m_design->getTopLevelModuleInstances()) {
    collectUsedFileContents(files, moduleNames, top);
  }
  for (const auto& packInfo : m_design->getPackageDefinitions()) {
    Package* pack = packInfo.second;
    for (auto file : pack->getFileContents()) {
      if (file) files.insert(file);
    }
  }

  for (const FileContent* fC : files) {
    if (!clp->createCache()) {
      std::string_view fileName = std::get<1>(
          fileSystem->getLeaf(fC->getFileId(), fC->getSymbolTable()));
      if ((fileName == "uvm_pkg.sv") || (fileName == "ovm_pkg.sv")) {
        continue;
      }
    }
    fileMap.emplace(fC->getFileId(), fC);
    registerFile(fC, moduleNames);
  }

  // Annotate UHDM object coverage
  annotate();

  mergeColumnCoverage();

  if (!fileSystem->mkdirs(
          fileSystem->getCheckerDir(clp->fileunit(), symbols))) {
    return false;
  }

  // Report uncovered objects
  float overallCoverage = reportCoverage(uhdmFileId);
  reportHtml(uhdmFileId, overallCoverage);
  return true;
}

}  // namespace SURELOG