Read the Docs build information Build id: 904197 Project: openhw-group-core-v-verif Version: latest Commit: 34fdb0095eeb153144d9ead7f01443f052e7b8c8 Date: 2022-04-01T19:14:15.113674Z State: finished Success: True [rtd-command-info] start-time: 2022-04-01T19:14:16.949261Z, end-time: 2022-04-01T19:14:23.043280Z, duration: 6, exit-code: 0 git clone --no-single-branch --depth 50 https://github.com/openhwgroup/core-v-verif.git . Cloning into '.'... [rtd-command-info] start-time: 2022-04-01T19:14:23.242961Z, end-time: 2022-04-01T19:14:23.397775Z, duration: 0, exit-code: 0 git checkout --force origin/master Note: switching to 'origin/master'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 34fdb009 Merge pull request #1234 from openhwgroup/cva6/dev [rtd-command-info] start-time: 2022-04-01T19:14:23.585908Z, end-time: 2022-04-01T19:14:23.656500Z, duration: 0, exit-code: 0 git clean -d -f -f [rtd-command-info] start-time: 2022-04-01T19:14:24.892200Z, end-time: 2022-04-01T19:14:29.358186Z, duration: 4, exit-code: 0 python3.7 -mvirtualenv Using base prefix '/home/docs/.pyenv/versions/3.7.9' New python executable in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/bin/python3.7 Also creating executable in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/bin/python Installing setuptools, pip, wheel... done. [rtd-command-info] start-time: 2022-04-01T19:14:29.539047Z, end-time: 2022-04-01T19:14:31.414219Z, duration: 1, exit-code: 0 python -m pip install --upgrade --no-cache-dir pip setuptools<58.3.0 Requirement already satisfied: pip in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (22.0.4) Collecting setuptools<58.3.0 Downloading setuptools-58.2.0-py3-none-any.whl (946 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 946.1/946.1 KB 26.2 MB/s eta 0:00:00 Installing collected packages: setuptools Attempting uninstall: setuptools Found existing installation: setuptools 61.3.0 Uninstalling setuptools-61.3.0: Successfully uninstalled setuptools-61.3.0 Successfully installed setuptools-58.2.0 [rtd-command-info] start-time: 2022-04-01T19:14:31.597486Z, end-time: 2022-04-01T19:14:40.033946Z, duration: 8, exit-code: 0 python -m pip install --upgrade --no-cache-dir mock==1.0.1 pillow==5.4.1 alabaster>=0.7,<0.8,!=0.7.5 commonmark==0.8.1 recommonmark==0.5.0 sphinx sphinx-rtd-theme readthedocs-sphinx-ext<2.2 Collecting mock==1.0.1 Downloading mock-1.0.1.zip (861 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 861.9/861.9 KB 21.7 MB/s eta 0:00:00 Preparing metadata (setup.py): started Preparing metadata (setup.py): finished with status 'done' Collecting pillow==5.4.1 Downloading Pillow-5.4.1-cp37-cp37m-manylinux1_x86_64.whl (2.0 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.0/2.0 MB 116.6 MB/s eta 0:00:00 Collecting alabaster!=0.7.5,<0.8,>=0.7 Downloading alabaster-0.7.12-py2.py3-none-any.whl (14 kB) Collecting commonmark==0.8.1 Downloading commonmark-0.8.1-py2.py3-none-any.whl (47 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 47.4/47.4 KB 175.0 MB/s eta 0:00:00 Collecting recommonmark==0.5.0 Downloading recommonmark-0.5.0-py2.py3-none-any.whl (9.8 kB) Collecting sphinx Downloading Sphinx-4.5.0-py3-none-any.whl (3.1 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.1/3.1 MB 172.6 MB/s eta 0:00:00 Collecting sphinx-rtd-theme Downloading sphinx_rtd_theme-1.0.0-py2.py3-none-any.whl (2.8 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 167.7 MB/s eta 0:00:00 Collecting readthedocs-sphinx-ext<2.2 Downloading readthedocs_sphinx_ext-2.1.5-py2.py3-none-any.whl (11 kB) Collecting future Downloading future-0.18.2.tar.gz (829 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 829.2/829.2 KB 239.1 MB/s eta 0:00:00 Preparing metadata (setup.py): started Preparing metadata (setup.py): finished with status 'done' Collecting docutils>=0.11 Downloading docutils-0.18.1-py2.py3-none-any.whl (570 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 570.0/570.0 KB 237.3 MB/s eta 0:00:00 Collecting sphinxcontrib-htmlhelp>=2.0.0 Downloading sphinxcontrib_htmlhelp-2.0.0-py2.py3-none-any.whl (100 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 100.5/100.5 KB 197.7 MB/s eta 0:00:00 Collecting requests>=2.5.0 Downloading requests-2.27.1-py2.py3-none-any.whl (63 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 63.1/63.1 KB 181.0 MB/s eta 0:00:00 Collecting importlib-metadata>=4.4 Downloading importlib_metadata-4.11.3-py3-none-any.whl (18 kB) Collecting sphinxcontrib-qthelp Downloading sphinxcontrib_qthelp-1.0.3-py2.py3-none-any.whl (90 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 90.6/90.6 KB 194.8 MB/s eta 0:00:00 Collecting babel>=1.3 Downloading Babel-2.9.1-py2.py3-none-any.whl (8.8 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 8.8/8.8 MB 175.3 MB/s eta 0:00:00 Collecting imagesize Downloading imagesize-1.3.0-py2.py3-none-any.whl (5.2 kB) Collecting sphinxcontrib-applehelp Downloading sphinxcontrib_applehelp-1.0.2-py2.py3-none-any.whl (121 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 121.2/121.2 KB 220.2 MB/s eta 0:00:00 Collecting snowballstemmer>=1.1 Downloading snowballstemmer-2.2.0-py2.py3-none-any.whl (93 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 93.0/93.0 KB 196.7 MB/s eta 0:00:00 Collecting packaging Downloading packaging-21.3-py3-none-any.whl (40 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 40.8/40.8 KB 171.2 MB/s eta 0:00:00 Collecting sphinxcontrib-jsmath Downloading sphinxcontrib_jsmath-1.0.1-py2.py3-none-any.whl (5.1 kB) Collecting sphinxcontrib-serializinghtml>=1.1.5 Downloading sphinxcontrib_serializinghtml-1.1.5-py2.py3-none-any.whl (94 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 94.0/94.0 KB 208.6 MB/s eta 0:00:00 Collecting Pygments>=2.0 Downloading Pygments-2.11.2-py3-none-any.whl (1.1 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 1.1/1.1 MB 233.6 MB/s eta 0:00:00 Collecting Jinja2>=2.3 Downloading Jinja2-3.1.1-py3-none-any.whl (132 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 132.6/132.6 KB 212.8 MB/s eta 0:00:00 Collecting sphinxcontrib-devhelp Downloading sphinxcontrib_devhelp-1.0.2-py2.py3-none-any.whl (84 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 84.7/84.7 KB 196.3 MB/s eta 0:00:00 Collecting docutils>=0.11 Downloading docutils-0.17.1-py2.py3-none-any.whl (575 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 575.5/575.5 KB 235.0 MB/s eta 0:00:00 Collecting pytz>=2015.7 Downloading pytz-2022.1-py2.py3-none-any.whl (503 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 503.5/503.5 KB 237.3 MB/s eta 0:00:00 Collecting zipp>=0.5 Downloading zipp-3.7.0-py3-none-any.whl (5.3 kB) Collecting typing-extensions>=3.6.4 Downloading typing_extensions-4.1.1-py3-none-any.whl (26 kB) Collecting MarkupSafe>=2.0 Downloading MarkupSafe-2.1.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (25 kB) Collecting certifi>=2017.4.17 Downloading certifi-2021.10.8-py2.py3-none-any.whl (149 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 149.2/149.2 KB 208.1 MB/s eta 0:00:00 Collecting urllib3<1.27,>=1.21.1 Downloading urllib3-1.26.9-py2.py3-none-any.whl (138 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 139.0/139.0 KB 210.8 MB/s eta 0:00:00 Collecting charset-normalizer~=2.0.0 Downloading charset_normalizer-2.0.12-py3-none-any.whl (39 kB) Collecting idna<4,>=2.5 Downloading idna-3.3-py3-none-any.whl (61 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 61.2/61.2 KB 183.4 MB/s eta 0:00:00 Collecting pyparsing!=3.0.5,>=2.0.2 Downloading pyparsing-3.0.7-py3-none-any.whl (98 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 98.0/98.0 KB 193.3 MB/s eta 0:00:00 Building wheels for collected packages: mock, future Building wheel for mock (setup.py): started Building wheel for mock (setup.py): finished with status 'done' Created wheel for mock: filename=mock-1.0.1-py3-none-any.whl size=23773 sha256=616361ba1d546387e5c733142390d355bced479d3f1789fd93075af07a3b1ecf Stored in directory: /tmp/pip-ephem-wheel-cache-lmhe20o1/wheels/7a/94/b1/0fdc5339a5bd487a5cc15421ec200d9ba3e2aa7190e4a727f1 Building wheel for future (setup.py): started Building wheel for future (setup.py): finished with status 'done' Created wheel for future: filename=future-0.18.2-py3-none-any.whl size=491070 sha256=d5703bc08cf70b083a9d8681c28c3a9bf8a42cd41226182d6c9e2932eca1ae78 Stored in directory: /tmp/pip-ephem-wheel-cache-lmhe20o1/wheels/56/b0/fe/4410d17b32f1f0c3cf54cdfb2bc04d7b4b8f4ae377e2229ba0 Successfully built mock future Installing collected packages: snowballstemmer, pytz, mock, certifi, alabaster, zipp, urllib3, typing-extensions, sphinxcontrib-serializinghtml, sphinxcontrib-qthelp, sphinxcontrib-jsmath, sphinxcontrib-htmlhelp, sphinxcontrib-devhelp, sphinxcontrib-applehelp, pyparsing, Pygments, pillow, MarkupSafe, imagesize, idna, future, docutils, charset-normalizer, babel, requests, packaging, Jinja2, importlib-metadata, commonmark, sphinx, readthedocs-sphinx-ext, sphinx-rtd-theme, recommonmark Successfully installed Jinja2-3.1.1 MarkupSafe-2.1.1 Pygments-2.11.2 alabaster-0.7.12 babel-2.9.1 certifi-2021.10.8 charset-normalizer-2.0.12 commonmark-0.8.1 docutils-0.17.1 future-0.18.2 idna-3.3 imagesize-1.3.0 importlib-metadata-4.11.3 mock-1.0.1 packaging-21.3 pillow-5.4.1 pyparsing-3.0.7 pytz-2022.1 readthedocs-sphinx-ext-2.1.5 recommonmark-0.5.0 requests-2.27.1 snowballstemmer-2.2.0 sphinx-4.5.0 sphinx-rtd-theme-1.0.0 sphinxcontrib-applehelp-1.0.2 sphinxcontrib-devhelp-1.0.2 sphinxcontrib-htmlhelp-2.0.0 sphinxcontrib-jsmath-1.0.1 sphinxcontrib-qthelp-1.0.3 sphinxcontrib-serializinghtml-1.1.5 typing-extensions-4.1.1 urllib3-1.26.9 zipp-3.7.0 [rtd-command-info] start-time: 2022-04-01T19:14:41.312358Z, end-time: 2022-04-01T19:14:41.374202Z, duration: 0, exit-code: 0 cat docs/VerifStrat/source/conf.py # -*- coding: utf-8 -*- # # Copyright (c) 2020 OpenHW Group # # Licensed under the Solderpad Hardware Licence, 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 # # https://solderpad.org/licenses/ # # 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. # # SPDX-License-Identifier: Apache-2.0 WITH SHL-2.0 # ############################################################################### # # Configuration file for the Sphinx documentation builder. # # This file does only contain a selection of the most common options. For a # full list see the documentation: # http://www.sphinx-doc.org/en/master/config # -- Path setup -------------------------------------------------------------- # If extensions (or modules to document with autodoc) are in another directory, # add these directories to sys.path here. If the directory is relative to the # documentation root, use os.path.abspath to make it absolute, like shown here. # # import os # import sys # sys.path.insert(0, os.path.abspath('.')) # -- Project information ----------------------------------------------------- project = u'CORE-V Verification Strategy' copyright = u'2020, 2021, OpenHW Group' author = u'Mike Thompson' # The short X.Y version version = u'' # The full version, including alpha/beta/rc tags release = u'' # -- General configuration --------------------------------------------------- # If your documentation needs a minimal Sphinx version, state it here. # # needs_sphinx = '1.0' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ 'sphinx.ext.autodoc', 'sphinx.ext.todo', 'recommonmark', 'sphinx.ext.autosectionlabel', # 'sphinxcontrib.wavedrom', ] #wavedrom_html_jsinline = False # Add any paths that contain templates here, relative to this directory. templates_path = ['ytemplates'] # The suffix(es) of source filenames. # You can specify multiple suffix as a list of string: # # source_suffix = ['.rst', '.md'] source_suffix = '.rst' # The master toctree document. master_doc = 'index' # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. # # This is also used if you do content translation via gettext catalogs. # Usually you set "language" from the command line for these cases. language = 'en' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. # This pattern also affects html_static_path and html_extra_path. exclude_patterns = [] # The name of the Pygments (syntax highlighting) style to use. pygments_style = None # -- Options for HTML output ------------------------------------------------- # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # #html_theme = 'alabaster' html_theme = "sphinx_rtd_theme" # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. # html_theme_options = {'style_nav_header_background': '#DDDDDD'} html_logo = '../images/openhw-landscape.svg' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". #html_static_path = ['ystatic'] # # Set html_static_path to null on the advice of RTDs: #https://github.com/readthedocs/readthedocs.org/issues/1776 #html_static_path = [] html_static_path = ['_static'] html_context = { 'css_files' : [ '_static/theme_overrides.css', # Fix wide tables in RTD theme ], } # Custom sidebar templates, must be a dictionary that maps document names # to template names. # # The default sidebars (for documents that don't match any pattern) are # defined by theme itself. Builtin themes are using these templates by # default: ``['localtoc.html', 'relations.html', 'sourcelink.html', # 'searchbox.html']``. # # html_sidebars = {} # -- Options for HTMLHelp output --------------------------------------------- # Output file base name for HTML help builder. htmlhelp_basename = 'CORE-V_Verification_Strategy' # -- Options for LaTeX output ------------------------------------------------ latex_elements = { # The paper size ('letterpaper' or 'a4paper'). # # 'papersize': 'letterpaper', # The font size ('10pt', '11pt' or '12pt'). # # 'pointsize': '10pt', # Additional stuff for the LaTeX preamble. # # 'preamble': '', # Latex figure (float) alignment # # 'figure_align': 'htbp', } # Grouping the document tree into LaTeX files. List of tuples # (source start file, target name, title, # author, documentclass [howto, manual, or own class]). latex_documents = [ (master_doc, 'VerifStrat.tex', u'CORE-V-Docs Documentation', u'Mike Thompson', 'manual'), ] # -- Options for manual page output ------------------------------------------ # One entry per manual page. List of tuples # (source start file, name, description, authors, manual section). man_pages = [ (master_doc, 'VerifStrat', u'CORE-V Docs Documentation', [author], 1) ] # -- Options for Texinfo output ---------------------------------------------- # Grouping the document tree into Texinfo files. List of tuples # (source start file, target name, title, author, # dir menu entry, description, category) texinfo_documents = [ (master_doc, 'VerifStrat', u'CORE-V Docs Documentation', author, 'VerifStrat', 'Verification Strategy for CORE-V family of RISC-V processor cores.', 'Miscellaneous'), ] # -- Options for Epub output ------------------------------------------------- # Bibliographic Dublin Core info. epub_title = project # The unique identifier of the text. This can be a ISBN number # or the project homepage. # # epub_identifier = '' # A unique identification for the text. # # epub_uid = '' # A list of files that should not be packed into the epub file. epub_exclude_files = ['search.html'] # -- Extension configuration ------------------------------------------------- # -- Options for todo extension ---------------------------------------------- # If true, `todo` and `todoList` produce output, else they produce nothing. todo_include_todos = True ########################################################################### # auto-created readthedocs.org specific configuration # ########################################################################### # # The following code was added during an automated build on readthedocs.org # It is auto created and injected for every build. The result is based on the # conf.py.tmpl file found in the readthedocs.org codebase: # https://github.com/rtfd/readthedocs.org/blob/main/readthedocs/doc_builder/templates/doc_builder/conf.py.tmpl # # Note: this file shouldn't rely on extra dependencies. import importlib import sys import os.path # Borrowed from six. PY3 = sys.version_info[0] == 3 string_types = str if PY3 else basestring from sphinx import version_info # Get suffix for proper linking to GitHub # This is deprecated in Sphinx 1.3+, # as each page can have its own suffix if globals().get('source_suffix', False): if isinstance(source_suffix, string_types): SUFFIX = source_suffix elif isinstance(source_suffix, (list, tuple)): # Sphinx >= 1.3 supports list/tuple to define multiple suffixes SUFFIX = source_suffix[0] elif isinstance(source_suffix, dict): # Sphinx >= 1.8 supports a mapping dictionary for multiple suffixes SUFFIX = list(source_suffix.keys())[0] # make a ``list()`` for py2/py3 compatibility else: # default to .rst SUFFIX = '.rst' else: SUFFIX = '.rst' # Add RTD Static Path. Add to the end because it overwrites previous files. if not 'html_static_path' in globals(): html_static_path = [] if os.path.exists('_static'): html_static_path.append('_static') # Add RTD Theme only if they aren't overriding it already using_rtd_theme = ( ( 'html_theme' in globals() and html_theme in ['default'] and # Allow people to bail with a hack of having an html_style 'html_style' not in globals() ) or 'html_theme' not in globals() ) if using_rtd_theme: theme = importlib.import_module('sphinx_rtd_theme') html_theme = 'sphinx_rtd_theme' html_style = None html_theme_options = {} if 'html_theme_path' in globals(): html_theme_path.append(theme.get_html_theme_path()) else: html_theme_path = [theme.get_html_theme_path()] if globals().get('websupport2_base_url', False): websupport2_base_url = 'https://readthedocs.com/websupport' websupport2_static_url = 'https://assets.readthedocs.com/' #Add project information to the template context. context = { 'using_theme': using_rtd_theme, 'html_theme': html_theme, 'current_version': "latest", 'version_slug': "latest", 'MEDIA_URL': "https://media.readthedocs.com/media/", 'STATIC_URL': "https://assets.readthedocs.com/", 'PRODUCTION_DOMAIN': "readthedocs.com", 'versions': [ ], 'downloads': [ ("pdf", "//openhw-group-core-v-verif.readthedocs-hosted.com/_/downloads/en/latest/pdf/"), ("html", "//openhw-group-core-v-verif.readthedocs-hosted.com/_/downloads/en/latest/htmlzip/"), ("epub", "//openhw-group-core-v-verif.readthedocs-hosted.com/_/downloads/en/latest/epub/"), ], 'subprojects': [ ], 'slug': 'openhw-group-core-v-verif', 'name': u'core-v-verif', 'rtd_language': u'en', 'programming_language': u'words', 'canonical_url': 'https://openhw-group-core-v-verif.readthedocs-hosted.com/en/latest/', 'analytics_code': 'None', 'single_version': False, 'conf_py_path': '/docs/VerifStrat/source/', 'api_host': 'https://readthedocs.com', 'github_user': 'openhwgroup', 'proxied_api_host': '/_', 'github_repo': 'core-v-verif', 'github_version': 'master', 'display_github': True, 'bitbucket_user': 'None', 'bitbucket_repo': 'None', 'bitbucket_version': 'master', 'display_bitbucket': False, 'gitlab_user': 'None', 'gitlab_repo': 'None', 'gitlab_version': 'master', 'display_gitlab': False, 'READTHEDOCS': True, 'using_theme': (html_theme == "default"), 'new_theme': (html_theme == "sphinx_rtd_theme"), 'source_suffix': SUFFIX, 'ad_free': False, 'docsearch_disabled': False, 'user_analytics_code': '', 'global_analytics_code': 'UA-17997319-2', 'commit': '34fdb009', } # For sphinx >=1.8 we can use html_baseurl to set the canonical URL. # https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-html_baseurl if version_info >= (1, 8): if not globals().get('html_baseurl'): html_baseurl = context['canonical_url'] context['canonical_url'] = None if 'html_context' in globals(): html_context.update(context) else: html_context = context # Add custom RTD extension if 'extensions' in globals(): # Insert at the beginning because it can interfere # with other extensions. # See https://github.com/rtfd/readthedocs.org/pull/4054 extensions.insert(0, "readthedocs_ext.readthedocs") else: extensions = ["readthedocs_ext.readthedocs"] # Add External version warning banner to the external version documentation if 'branch' == 'external': extensions.insert(1, "readthedocs_ext.external_version_warning") readthedocs_vcs_url = 'None' readthedocs_build_url = 'https://readthedocs.com/projects/openhw-group-core-v-verif/builds/904197/' project_language = 'en' # User's Sphinx configurations language_user = globals().get('language', None) latex_engine_user = globals().get('latex_engine', None) latex_elements_user = globals().get('latex_elements', None) # Remove this once xindy gets installed in Docker image and XINDYOPS # env variable is supported # https://github.com/rtfd/readthedocs-docker-images/pull/98 latex_use_xindy = False chinese = any([ language_user in ('zh_CN', 'zh_TW'), project_language in ('zh_CN', 'zh_TW'), ]) japanese = any([ language_user == 'ja', project_language == 'ja', ]) if chinese: latex_engine = latex_engine_user or 'xelatex' latex_elements_rtd = { 'preamble': '\\usepackage[UTF8]{ctex}\n', } latex_elements = latex_elements_user or latex_elements_rtd elif japanese: latex_engine = latex_engine_user or 'platex' # Make sure our build directory is always excluded exclude_patterns = globals().get('exclude_patterns', []) exclude_patterns.extend(['_build']) [rtd-command-info] start-time: 2022-04-01T19:14:41.558717Z, end-time: 2022-04-01T19:14:43.334987Z, duration: 1, exit-code: 0 python -m sphinx -T -E -b html -d _build/doctrees -D language=en . _build/html Running Sphinx v4.5.0 loading translations [en]... done making output directory... done building [mo]: targets for 0 po files that are out of date building [html]: targets for 11 source files that are out of date updating environment: [new config] 11 added, 0 changed, 0 removed reading sources... [ 9%] corev_dv reading sources... [ 18%] corev_env reading sources... [ 27%] cv32_env reading sources... [ 36%] cva6_env reading sources... [ 45%] index reading sources... [ 54%] intro reading sources... [ 63%] planning_requirements reading sources... [ 72%] pulp_verif reading sources... [ 81%] quick_start reading sources... [ 90%] test_programs reading sources... [100%] uvm_tests looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done writing output... [ 9%] corev_dv writing output... [ 18%] corev_env writing output... [ 27%] cv32_env writing output... [ 36%] cva6_env writing output... [ 45%] index writing output... [ 54%] intro writing output... [ 63%] planning_requirements writing output... [ 72%] pulp_verif writing output... [ 81%] quick_start writing output... [ 90%] test_programs writing output... [100%] uvm_tests generating indices... genindex done writing additional pages... search done copying images... [ 5%] ../images/CV32E_VE_phase1.png copying images... [ 11%] ../images/CV32E_VE_phase2.png copying images... [ 17%] ../images/step_compare_sequence1.png copying images... [ 23%] ../images/insn_regs_write_queue.png copying images... [ 29%] ../images/rvvi_state.png copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 41%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 47%] ../images/rvfi_rvvi_csr_check.png copying images... [ 52%] ../images/rvfi_rvvi_interrupt.png copying images... [ 58%] ../images/MemoryModelTestbench.png copying images... [ 64%] ../images/SubsystemWrapper.png copying images... [ 70%] ../images/ri5cy_tb.png copying images... [ 76%] ../images/ariane_tb.png copying images... [ 82%] ../images/ibex-ve.png copying images... [ 88%] ../images/TestProgramEnvironment.png copying images... [ 94%] ../images/type1.png copying images... [100%] ../images/type4.png copying static files... done copying extra files... done dumping search index in English (code: en)... done dumping object inventory... done build succeeded. The HTML pages are in _build/html. Updating searchtools for Read the Docs search... [rtd-command-info] start-time: 2022-04-01T19:14:43.591233Z, end-time: 2022-04-01T19:14:45.043786Z, duration: 1, exit-code: 0 python -m sphinx -T -E -b readthedocssinglehtmllocalmedia -d _build/doctrees -D language=en . _build/localmedia Running Sphinx v4.5.0 loading translations [en]... done making output directory... done building [mo]: targets for 0 po files that are out of date building [readthedocssinglehtmllocalmedia]: all documents updating environment: [new config] 11 added, 0 changed, 0 removed reading sources... [ 9%] corev_dv reading sources... [ 18%] corev_env reading sources... [ 27%] cv32_env reading sources... [ 36%] cva6_env reading sources... [ 45%] index reading sources... [ 54%] intro reading sources... [ 63%] planning_requirements reading sources... [ 72%] pulp_verif reading sources... [ 81%] quick_start reading sources... [ 90%] test_programs reading sources... [100%] uvm_tests looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done assembling single document... intro quick_start planning_requirements corev_env cv32_env cva6_env test_programs uvm_tests corev_dv pulp_verif done writing... done writing additional files... done copying images... [ 5%] ../images/CV32E_VE_phase1.png copying images... [ 11%] ../images/CV32E_VE_phase2.png copying images... [ 17%] ../images/step_compare_sequence1.png copying images... [ 23%] ../images/insn_regs_write_queue.png copying images... [ 29%] ../images/rvvi_state.png copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 41%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 47%] ../images/rvfi_rvvi_csr_check.png copying images... [ 52%] ../images/rvfi_rvvi_interrupt.png copying images... [ 58%] ../images/MemoryModelTestbench.png copying images... [ 64%] ../images/SubsystemWrapper.png copying images... [ 70%] ../images/TestProgramEnvironment.png copying images... [ 76%] ../images/type1.png copying images... [ 82%] ../images/type4.png copying images... [ 88%] ../images/ri5cy_tb.png copying images... [ 94%] ../images/ariane_tb.png copying images... [100%] ../images/ibex-ve.png copying static files... done copying extra files... done dumping object inventory... done build succeeded. The HTML page is in _build/localmedia. Updating searchtools for Read the Docs search... [rtd-command-info] start-time: 2022-04-01T19:14:45.250431Z, end-time: 2022-04-01T19:14:46.106413Z, duration: 0, exit-code: 0 python -m sphinx -b latex -D language=en -d _build/doctrees . _build/latex Running Sphinx v4.5.0 loading translations [en]... done making output directory... done loading pickled environment... done building [mo]: targets for 0 po files that are out of date building [latex]: all documents updating environment: 0 added, 0 changed, 0 removed looking for now-outdated files... none found processing VerifStrat.tex... index intro quick_start planning_requirements corev_env cv32_env cva6_env test_programs uvm_tests corev_dv pulp_verif resolving references... done writing... done copying images... [ 5%] ../images/CV32E_VE_phase1.png copying images... [ 11%] ../images/CV32E_VE_phase2.png copying images... [ 17%] ../images/step_compare_sequence1.png copying images... [ 23%] ../images/insn_regs_write_queue.png copying images... [ 29%] ../images/rvvi_state.png copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 41%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 47%] ../images/rvfi_rvvi_csr_check.png copying images... [ 52%] ../images/rvfi_rvvi_interrupt.png copying images... [ 58%] ../images/MemoryModelTestbench.png copying images... [ 64%] ../images/SubsystemWrapper.png copying images... [ 70%] ../images/TestProgramEnvironment.png copying images... [ 76%] ../images/type1.png copying images... [ 82%] ../images/type4.png copying images... [ 88%] ../images/ri5cy_tb.png copying images... [ 94%] ../images/ariane_tb.png copying images... [100%] ../images/ibex-ve.png copying TeX support files... copying TeX support files... done build succeeded. The LaTeX files are in _build/latex. Run 'make' in that directory to run these through (pdf)latex (use `make latexpdf' here to do that automatically). WARNING: Missing searchtools: /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/checkouts/latest/docs/VerifStrat/source/_build/latex/_static/searchtools.js [rtd-command-info] start-time: 2022-04-01T19:14:48.415667Z, end-time: 2022-04-01T19:14:48.483934Z, duration: 0, exit-code: 0 cat latexmkrc $latex = 'latex ' . $ENV{'LATEXOPTS'} . ' %O %S'; $pdflatex = 'pdflatex ' . $ENV{'LATEXOPTS'} . ' %O %S'; $lualatex = 'lualatex ' . $ENV{'LATEXOPTS'} . ' %O %S'; $xelatex = 'xelatex --no-pdf ' . $ENV{'LATEXOPTS'} . ' %O %S'; $makeindex = 'makeindex -s python.ist %O -o %D %S'; add_cus_dep( "glo", "gls", 0, "makeglo" ); sub makeglo { return system( "makeindex -s gglo.ist -o '$_[0].gls' '$_[0].glo'" ); } [rtd-command-info] start-time: 2022-04-01T19:14:48.686857Z, end-time: 2022-04-01T19:14:54.354593Z, duration: 5, exit-code: 0 latexmk -r latexmkrc -pdf -f -dvi- -ps- -jobname=openhw-group-core-v-verif -interaction=nonstopmode Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 10) line 1, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 10) line 2, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 10) line 3, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 10) line 4, chunk 1. Subroutine makeglo redefined at (eval 11) line 7, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 11) line 1, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 11) line 2, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 11) line 3, chunk 1. Use of uninitialized value $ENV{"LATEXOPTS"} in concatenation (.) or string at (eval 11) line 4, chunk 1. Latexmk: This is Latexmk, John Collins, 1 January 2015, version: 4.41. File::Glob::glob() will disappear in perl 5.30. Use File::Glob::bsd_glob() instead. at /usr/bin/latexmk line 7482. Rule 'pdflatex': Rules & subrules not known to be previously run: pdflatex Rule 'pdflatex': The following rules & subrules became out-of-date: 'pdflatex' ------------ Run number 1 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -interaction=nonstopmode -recorder --jobname="openhw-group-core-v-verif" "VerifStrat.tex"' ------------ Latexmk: applying rule 'pdflatex'... This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./VerifStrat.tex LaTeX2e <2017-04-15> Babel <3.18> and hyphenation patterns for 84 language(s) loaded. (./sphinxmanual.cls Document Class: sphinxmanual 2019/12/01 v2.3.0 Document class (Sphinx manual) (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/cmap/cmap.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)<>) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)))) (/usr/share/texmf/tex/latex/tex-gyre/tgtermes.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty))))) (/usr/share/texmf/tex/latex/tex-gyre/tgheros.sty) (/usr/share/texlive/texmf-dist/tex/latex/fncychap/fncychap.sty) (./sphinx.sty (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (./sphinxoptionshyperref.sty) (./sphinxoptionsgeometry.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/capt-of/capt-of.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg))) (./sphinxlatexgraphics.sty) (./sphinxlatexadmonitions.sty (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)) (./sphinxlatexliterals.sty (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/upquote/upquote.sty) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty)) (./sphinxlatexshadowbox.sty) (./sphinxlatexcontainers.sty) (./sphinxhighlight.sty) (./sphinxlatextables.sty (/usr/share/texlive/texmf-dist/tex/latex/tabulary/tabulary.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) (/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty)) (./sphinxlatexnumfig.sty (/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty)) (./sphinxlatexlists.sty) (./sphinxpackagefootnote.sty) (./sphinxlatexindbibtoc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty)) (./sphinxlatexstylepage.sty (/usr/share/texlive/texmf-dist/tex/latex/parskip/parskip.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty)) (./sphinxlatexstyleheadings.sty (/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty)) (./sphinxlatexstyletext.sty) (./sphinxlatexobjects.sty)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hypcap.sty) (./sphinxmessages.sty) Writing index file openhw-group-core-v-verif.idx (./openhw-group-core-v-verif.aux) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texmf/tex/latex/tex-gyre/t1qtm.fd) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (/usr/share/texmf/tex/latex/tex-gyre/t1qhv.fd)<><><><> (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fo nts/map/pdftex/updmap/pdftex.map}] [2] [1] [2] [1] [2] Chapter 1. (/usr/share/texmf/tex/latex/tex-gyre/ts1qtm.fd) [3] Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Con- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 CORE- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 In-struc- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Sim- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 u-la-tor Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Mem- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ber Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 pany Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 (Mem- Overfull \hbox (7.17256pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Toolchain| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Overfull \hbox (2.21254pt too wide) in paragraph at lines 362--362 \T1/qtm/m/n/10 Program| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Ver-i-fi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ca-tion Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 En-vi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ron- Overfull \hbox (45.35254pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $CORE_V_VERIF| Overfull \hbox (38.03253pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $COREV_CORE| [4] [5] LaTeX Warning: Hyper reference `pulp_verif:pulp-verif' on page 6 undefined on i nput line 405. [6] Chapter 2. (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [7] [8] Underfull \hbox (badness 10000) in paragraph at lines 618--620 []\T1/qtm/m/n/10 The vari-able is used to se-lect one of a set of simulator-spe cific Make-files that are lo-cated at [9] Underfull \vbox (badness 1112) detected at line 730 [10] [11] [12] Chapter 3. [13] [14] Chapter 4. [15] [16] [17] [18] Chapter 5. LaTeX Warning: Hyper reference `pulp_verif:pulp-verif' on page 19 undefined on input line 995. LaTeX Warning: Hyper reference `pulp_verif:exec-summary' on page 19 undefined o n input line 995. LaTeX Warning: Hyper reference `pulp_verif:pulp-platform-simulation-verificatio n' on page 19 undefined on input line 1021. [19] LaTeX Warning: Hyper reference `cv32_env:illustration-1' on page 20 undefined o n input line 1086. Underfull \hbox (badness 10000) in paragraph at lines 1095--1107 []\T1/qtm/m/n/10 The test-bench com-po-nents of the phase 1 en-vi-ron-ment are the so-called ^^PDUT wrap-per^^Q (mod-ule [20 <./CV32E_VE_phase1.png>] LaTeX Warning: Hyper reference `cv32_env:illustration-2' on page 21 undefined o n input line 1117. LaTeX Warning: Hyper reference `cv32_env:illustration-2' on page 21 undefined o n input line 1159. [21 <./CV32E_VE_phase2.png (PNG copy)>] LaTeX Warning: Hyper reference `cv32_env:illustration-2' on page 22 undefined o n input line 1256. [22] Overfull \hbox (3.6204pt too wide) in paragraph at lines 1381--1381 []\T1/qhv/m/n/10 Type| Overfull \hbox (21.69928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.ovp_cpu_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (7.24928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.riscv_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| [23 <./step_compare_sequence1.png>] LaTeX Warning: Hyper reference `cv32_env:illustration-4' on page 24 undefined o n input line 1438. [24 <./insn_regs_write_queue.png>] Overfull \hbox (3.01003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_valid| Overfull \hbox (4.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_order| Overfull \hbox (5.48003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mode| Overfull \hbox (17.69003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_rdata| Overfull \hbox (21.58003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_wdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_rdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_rdata| Overfull \hbox (19.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_addr| Overfull \hbox (25.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_wdata| Overfull \hbox (26.03003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_addr| Overfull \hbox (32.90001pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rmask| Overfull \hbox (36.59003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wmask| Overfull \hbox (28.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rdata| Overfull \hbox (32.14003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wdata| [25] Overfull \hbox (43.99135pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rmask| Overfull \hbox (47.68137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wmask| Overfull \hbox (39.34137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rdata| Overfull \hbox (43.23137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wdata| [26] Overfull \hbox (2.09467pt too wide) in paragraph at lines 1841--1841 []\T1/qhv/m/n/10 Vari- Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 []\T1/qtm/m/n/10 rand Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 \T1/qtm/m/n/10 int un- [27] Overfull \hbox (1.06413pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Sig- Overfull \hbox (6.23364pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Type| Overfull \hbox (2.02414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 stepi| Overfull \hbox (1.11366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 task| Underfull \hbox (badness 10000) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 no- Overfull \hbox (6.06364pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 event| Overfull \hbox (0.50414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 cmd| Overfull \hbox (7.22366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 enum| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qhv/m/n/10 Sig- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 no- Overfull \hbox (1.28683pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 valid| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 or- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Overfull \hbox (3.75684pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 mode| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 pc- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 de- [28] [29] [30 <./rvvi_state.png>] Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qhv/m/n/10 Con-fig-u-ra-tion class Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Overfull \hbox (11.68163pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Overfull \hbox (11.68163pt too wide) detected at line 2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Overfull \hbox (4.31157pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Overfull \hbox (4.31157pt too wide) detected at line 2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- [31] [32 <./rvfi_rvvi_scoreboard.png>] [33] [34 <./rvfi_rvvi_instruction_check. png>] [35 <./rvfi_rvvi_csr_check.png>] [36 <./rvfi_rvvi_interrupt.png>] LaTeX Warning: Hyper reference `cv32_env:illustration-10' on page 37 undefined on input line 2600. LaTeX Warning: Hyper reference `cv32_env:illustration-10' on page 37 undefined on input line 2628. [37] [38 <./MemoryModelTestbench.png>] [39 <./SubsystemWrapper.png>] [40] Chapter 6. [41] [42] Chapter 7. [43] Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 VP Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 Ad-dress Overfull \hbox (18.25362pt too wide) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 (data_addr_i)| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0004| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) detected at line 2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 In-struc-tion Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 Mem-ory In- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 ter-face Stall Overfull \hbox (30.99364pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1600_XXXX| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) detected at line 2979 []\T1/qtm/m/n/10 Vir-tual Pe- Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Sig-na-ture Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0008| Overfull \hbox (23.78363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_000C| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0010| [44] [45 <./TestProgramEnvironment.png>] [46] [47] [48] Chapter 8. [49] LaTeX Warning: Hyper reference `test_programs:virtual-peripherals' on page 50 u ndefined on input line 3254. Underfull \hbox (badness 10000) in paragraph at lines 3306--3313 \T1/qtm/m/n/10 The CV32E base test, \T1/qtm/m/it/10 uvmt_cv32_base_test_c\T1/qt m/m/n/10 , in-lines code (us-ing \TS1/qtm/b/n/10 `\T1/qtm/b/n/10 in-clude) \T1/ qtm/m/n/10 from [50] [51 <./type1.png>] [52 <./type4.png>] [53] [54] Chapter 9. Underfull \hbox (badness 10000) in paragraph at lines 3477--3481 \T1/qtm/m/n/10 When a Make tar-get re-quires it, a spe-cific hash of riscv-dv i s cloned to Underfull \hbox (badness 10000) in paragraph at lines 3489--3492 []\T1/qtm/m/n/10 For ex-am-ple $CORE_V_VERIF/lib/corev-dv/corev_asm_program_gen .sv im-ple-ments an over-ride of [55] [56] Chapter 10. LaTeX Warning: Hyper reference `pulp_verif:ri5cy' on page 57 undefined on input line 3511. LaTeX Warning: Hyper reference `pulp_verif:ariane' on page 57 undefined on inpu t line 3512. LaTeX Warning: Hyper reference `cv32_env:cv32-env' on page 57 undefined on inpu t line 3514. LaTeX Warning: Hyper reference `cva6_env:cva6-env' on page 57 undefined on inpu t line 3515. [57] [58] [59 <./ri5cy_tb.png>] [60] LaTeX Warning: Hyper reference `pulp_verif:anchor-8' on page 61 undefined on in put line 3799. LaTeX Warning: Hyper reference `pulp_verif:anchor-4' on page 61 undefined on in put line 3846. [61] [62] [63 <./ariane_tb.png (PNG copy)>] [64] No file openhw-group-core-v-verif.ind. [65 <./ibex-ve.png>] (./openhw-group-core-v-verif.aux) Package rerunfilecheck Warning: File `openhw-group-core-v-verif.out' has change d. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/tex-gyre/q-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/tex-gyre/q-ec.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb> Output written on openhw-group-core-v-verif.pdf (69 pages, 1597239 bytes). Transcript written on openhw-group-core-v-verif.log. Latexmk: Index file 'openhw-group-core-v-verif.idx' was written Latexmk: Missing input file: 'openhw-group-core-v-verif.ind' from line 'No file openhw-group-core-v-verif.ind.' Latexmk: References changed. Latexmk: References changed. Latexmk: Log file says output to 'openhw-group-core-v-verif.pdf' Rule 'makeindex openhw-group-core-v-verif.idx': File changes, etc: Non-existent destination files: 'openhw-group-core-v-verif.ind' ------------ Run number 1 of rule 'makeindex openhw-group-core-v-verif.idx' ------------ ------------ Running 'makeindex -s python.ist -o "openhw-group-core-v-verif.ind" "openhw-group-core-v-verif.idx"' ------------ Latexmk: applying rule 'makeindex openhw-group-core-v-verif.idx'... This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support). Scanning style file ./python.ist.......done (7 attributes redefined, 0 ignored). Scanning input file openhw-group-core-v-verif.idx...done (0 entries accepted, 0 rejected). Nothing written in openhw-group-core-v-verif.ind. Transcript written in openhw-group-core-v-verif.ilg. Rule 'pdflatex': File changes, etc: Changed files, or newly in use since previous run(s): 'openhw-group-core-v-verif.aux' 'openhw-group-core-v-verif.ind' ------------ Run number 2 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -interaction=nonstopmode -recorder --jobname="openhw-group-core-v-verif" "VerifStrat.tex"' ------------ Latexmk: applying rule 'pdflatex'... This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./VerifStrat.tex LaTeX2e <2017-04-15> Babel <3.18> and hyphenation patterns for 84 language(s) loaded. (./sphinxmanual.cls Document Class: sphinxmanual 2019/12/01 v2.3.0 Document class (Sphinx manual) (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/cmap/cmap.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)<>) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)))) (/usr/share/texmf/tex/latex/tex-gyre/tgtermes.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty))))) (/usr/share/texmf/tex/latex/tex-gyre/tgheros.sty) (/usr/share/texlive/texmf-dist/tex/latex/fncychap/fncychap.sty) (./sphinx.sty (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (./sphinxoptionshyperref.sty) (./sphinxoptionsgeometry.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/capt-of/capt-of.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg))) (./sphinxlatexgraphics.sty) (./sphinxlatexadmonitions.sty (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)) (./sphinxlatexliterals.sty (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/upquote/upquote.sty) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty)) (./sphinxlatexshadowbox.sty) (./sphinxlatexcontainers.sty) (./sphinxhighlight.sty) (./sphinxlatextables.sty (/usr/share/texlive/texmf-dist/tex/latex/tabulary/tabulary.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) (/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty)) (./sphinxlatexnumfig.sty (/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty)) (./sphinxlatexlists.sty) (./sphinxpackagefootnote.sty) (./sphinxlatexindbibtoc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty)) (./sphinxlatexstylepage.sty (/usr/share/texlive/texmf-dist/tex/latex/parskip/parskip.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty)) (./sphinxlatexstyleheadings.sty (/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty)) (./sphinxlatexstyletext.sty) (./sphinxlatexobjects.sty)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hypcap.sty) (./sphinxmessages.sty) Writing index file openhw-group-core-v-verif.idx (./openhw-group-core-v-verif.aux) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texmf/tex/latex/tex-gyre/t1qtm.fd) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./openhw-group-core-v-verif.out) (./openhw-group-core-v-verif.out) (/usr/share/texmf/tex/latex/tex-gyre/t1qhv.fd)<><><><> (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fo nts/map/pdftex/updmap/pdftex.map}] [2] (./openhw-group-core-v-verif.toc [1]) [2] [1] [2] Chapter 1. (/usr/share/texmf/tex/latex/tex-gyre/ts1qtm.fd) [3] Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Con- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 CORE- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 In-struc- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Sim- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 u-la-tor Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Mem- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ber Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 pany Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 (Mem- Overfull \hbox (7.17256pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Toolchain| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Overfull \hbox (2.21254pt too wide) in paragraph at lines 362--362 \T1/qtm/m/n/10 Program| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Ver-i-fi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ca-tion Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 En-vi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ron- Overfull \hbox (45.35254pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $CORE_V_VERIF| Overfull \hbox (38.03253pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $COREV_CORE| [4] [5] [6] Chapter 2. (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [7] [8] Underfull \hbox (badness 10000) in paragraph at lines 618--620 []\T1/qtm/m/n/10 The vari-able is used to se-lect one of a set of simulator-spe cific Make-files that are lo-cated at [9] Underfull \vbox (badness 1112) detected at line 730 [10] [11] [12] Chapter 3. [13] [14] Chapter 4. [15] [16] [17] [18] Chapter 5. [19] Underfull \hbox (badness 10000) in paragraph at lines 1095--1107 []\T1/qtm/m/n/10 The test-bench com-po-nents of the phase 1 en-vi-ron-ment are the so-called ^^PDUT wrap-per^^Q (mod-ule [20 <./CV32E_VE_phase1.png>] [21 <./CV32E_VE_phase2.png (PNG copy)>] [22] Overfull \hbox (3.6204pt too wide) in paragraph at lines 1381--1381 []\T1/qhv/m/n/10 Type| Overfull \hbox (21.69928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.ovp_cpu_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (7.24928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.riscv_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| [23 <./step_compare_sequence1.png>] [24 <./insn_regs_write_queue.png>] Overfull \hbox (3.01003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_valid| Overfull \hbox (4.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_order| Overfull \hbox (5.48003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mode| Overfull \hbox (17.69003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_rdata| Overfull \hbox (21.58003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_wdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_rdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_rdata| Overfull \hbox (19.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_addr| Overfull \hbox (25.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_wdata| Overfull \hbox (26.03003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_addr| Overfull \hbox (32.90001pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rmask| Overfull \hbox (36.59003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wmask| Overfull \hbox (28.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rdata| Overfull \hbox (32.14003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wdata| [25] Overfull \hbox (43.99135pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rmask| Overfull \hbox (47.68137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wmask| Overfull \hbox (39.34137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rdata| Overfull \hbox (43.23137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wdata| [26] Overfull \hbox (2.09467pt too wide) in paragraph at lines 1841--1841 []\T1/qhv/m/n/10 Vari- Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 []\T1/qtm/m/n/10 rand Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 \T1/qtm/m/n/10 int un- [27] Overfull \hbox (1.06413pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Sig- Overfull \hbox (6.23364pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Type| Overfull \hbox (2.02414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 stepi| Overfull \hbox (1.11366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 task| Underfull \hbox (badness 10000) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 no- Overfull \hbox (6.06364pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 event| Overfull \hbox (0.50414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 cmd| Overfull \hbox (7.22366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 enum| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qhv/m/n/10 Sig- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 no- Overfull \hbox (1.28683pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 valid| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 or- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Overfull \hbox (3.75684pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 mode| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 pc- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 de- [28] [29] [30 <./rvvi_state.png>] Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qhv/m/n/10 Con-fig-u-ra-tion class Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Overfull \hbox (11.68163pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Overfull \hbox (11.68163pt too wide) detected at line 2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Overfull \hbox (4.31157pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Overfull \hbox (4.31157pt too wide) detected at line 2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- [31] [32 <./rvfi_rvvi_scoreboard.png>] [33] [34 <./rvfi_rvvi_instruction_check. png>] [35 <./rvfi_rvvi_csr_check.png>] [36 <./rvfi_rvvi_interrupt.png>] [37] [38 <./MemoryModelTestbench.png>] [39 <./SubsystemWrapper.png>] [40] Chapter 6. [41] [42] Chapter 7. [43] Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 VP Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 Ad-dress Overfull \hbox (18.25362pt too wide) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 (data_addr_i)| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0004| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) detected at line 2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 In-struc-tion Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 Mem-ory In- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 ter-face Stall Overfull \hbox (30.99364pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1600_XXXX| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) detected at line 2979 []\T1/qtm/m/n/10 Vir-tual Pe- Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Sig-na-ture Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0008| Overfull \hbox (23.78363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_000C| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0010| [44] [45 <./TestProgramEnvironment.png>] [46] [47] [48] Chapter 8. [49] Underfull \hbox (badness 10000) in paragraph at lines 3306--3313 \T1/qtm/m/n/10 The CV32E base test, \T1/qtm/m/it/10 uvmt_cv32_base_test_c\T1/qt m/m/n/10 , in-lines code (us-ing \TS1/qtm/b/n/10 `\T1/qtm/b/n/10 in-clude) \T1/ qtm/m/n/10 from [50] [51 <./type1.png>] [52 <./type4.png>] [53] [54] Chapter 9. Underfull \hbox (badness 10000) in paragraph at lines 3477--3481 \T1/qtm/m/n/10 When a Make tar-get re-quires it, a spe-cific hash of riscv-dv i s cloned to Underfull \hbox (badness 10000) in paragraph at lines 3489--3492 []\T1/qtm/m/n/10 For ex-am-ple $CORE_V_VERIF/lib/corev-dv/corev_asm_program_gen .sv im-ple-ments an over-ride of [55] [56] Chapter 10. [57] [58] [59 <./ri5cy_tb.png>] [60] LaTeX Warning: Hyper reference `pulp_verif:anchor-8' on page 61 undefined on in put line 3799. LaTeX Warning: Hyper reference `pulp_verif:anchor-4' on page 61 undefined on in put line 3846. [61] [62] [63 <./ariane_tb.png (PNG copy)>] [64] (./openhw-group-core-v-verif.ind) [65 <./ibex-ve.png>] (./openhw-group-core-v-verif.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/tex-gyre/q-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/tex-gyre/q-ec.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb> Output written on openhw-group-core-v-verif.pdf (69 pages, 1608372 bytes). Transcript written on openhw-group-core-v-verif.log. Latexmk: Index file 'openhw-group-core-v-verif.idx' was written Latexmk: Log file says output to 'openhw-group-core-v-verif.pdf' Rule 'pdflatex': File changes, etc: Changed files, or newly in use since previous run(s): 'openhw-group-core-v-verif.out' 'openhw-group-core-v-verif.toc' ------------ Run number 3 of rule 'pdflatex' ------------ Latexmk: applying rule 'pdflatex'... ------------ Running 'pdflatex -interaction=nonstopmode -recorder --jobname="openhw-group-core-v-verif" "VerifStrat.tex"' ------------ This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./VerifStrat.tex LaTeX2e <2017-04-15> Babel <3.18> and hyphenation patterns for 84 language(s) loaded. (./sphinxmanual.cls Document Class: sphinxmanual 2019/12/01 v2.3.0 Document class (Sphinx manual) (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo))) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/cmap/cmap.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)<>) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def)))) (/usr/share/texmf/tex/latex/tex-gyre/tgtermes.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty))))) (/usr/share/texmf/tex/latex/tex-gyre/tgheros.sty) (/usr/share/texlive/texmf-dist/tex/latex/fncychap/fncychap.sty) (./sphinx.sty (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (./sphinxoptionshyperref.sty) (./sphinxoptionsgeometry.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/capt-of/capt-of.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg))) (./sphinxlatexgraphics.sty) (./sphinxlatexadmonitions.sty (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty)) (./sphinxlatexliterals.sty (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/upquote/upquote.sty) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty)) (./sphinxlatexshadowbox.sty) (./sphinxlatexcontainers.sty) (./sphinxhighlight.sty) (./sphinxlatextables.sty (/usr/share/texlive/texmf-dist/tex/latex/tabulary/tabulary.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty) (/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty)) (./sphinxlatexnumfig.sty (/usr/share/texlive/texmf-dist/tex/latex/carlisle/remreset.sty)) (./sphinxlatexlists.sty) (./sphinxpackagefootnote.sty) (./sphinxlatexindbibtoc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty)) (./sphinxlatexstylepage.sty (/usr/share/texlive/texmf-dist/tex/latex/parskip/parskip.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty)) (./sphinxlatexstyleheadings.sty (/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty)) (./sphinxlatexstyletext.sty) (./sphinxlatexobjects.sty)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hypcap.sty) (./sphinxmessages.sty) Writing index file openhw-group-core-v-verif.idx (./openhw-group-core-v-verif.aux) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texmf/tex/latex/tex-gyre/t1qtm.fd) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./openhw-group-core-v-verif.out) (./openhw-group-core-v-verif.out) (/usr/share/texmf/tex/latex/tex-gyre/t1qhv.fd)<><><><> (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fo nts/map/pdftex/updmap/pdftex.map}] [2] (./openhw-group-core-v-verif.toc [1]) [2] [1] [2] Chapter 1. (/usr/share/texmf/tex/latex/tex-gyre/ts1qtm.fd) [3] Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Con- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 CORE- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 In-struc- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Sim- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 u-la-tor Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Mem- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ber Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 Com- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 pany Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 (Mem- Overfull \hbox (7.17256pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Toolchain| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Test- Overfull \hbox (2.21254pt too wide) in paragraph at lines 362--362 \T1/qtm/m/n/10 Program| Underfull \hbox (badness 10000) in paragraph at lines 362--362 []\T1/qtm/m/n/10 Ver-i-fi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ca-tion Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 En-vi- Underfull \hbox (badness 10000) in paragraph at lines 362--362 \T1/qtm/m/n/10 ron- Overfull \hbox (45.35254pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $CORE_V_VERIF| Overfull \hbox (38.03253pt too wide) in paragraph at lines 362--362 []\T1/qtm/m/n/10 $COREV_CORE| [4] [5] [6] Chapter 2. (/usr/share/texlive/texmf-dist/tex/latex/txfonts/t1txtt.fd) [7] [8] Underfull \hbox (badness 10000) in paragraph at lines 618--620 []\T1/qtm/m/n/10 The vari-able is used to se-lect one of a set of simulator-spe cific Make-files that are lo-cated at [9] Underfull \vbox (badness 1112) detected at line 730 [10] [11] [12] Chapter 3. [13] [14] Chapter 4. [15] [16] [17] [18] Chapter 5. [19] Underfull \hbox (badness 10000) in paragraph at lines 1095--1107 []\T1/qtm/m/n/10 The test-bench com-po-nents of the phase 1 en-vi-ron-ment are the so-called ^^PDUT wrap-per^^Q (mod-ule [20 <./CV32E_VE_phase1.png>] [21 <./CV32E_VE_phase2.png (PNG copy)>] [22] Overfull \hbox (3.6204pt too wide) in paragraph at lines 1381--1381 []\T1/qhv/m/n/10 Type| Overfull \hbox (21.69928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.ovp_cpu_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (7.24928pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 step_compare_if.riscv_retire| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| Overfull \hbox (3.45041pt too wide) in paragraph at lines 1381--1381 []\T1/qtm/m/n/10 event| [23 <./step_compare_sequence1.png>] [24 <./insn_regs_write_queue.png>] Overfull \hbox (3.01003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_valid| Overfull \hbox (4.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_order| Overfull \hbox (5.48003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mode| Overfull \hbox (17.69003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_rdata| Overfull \hbox (21.58003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_pc_wdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs1_rdata| Overfull \hbox (18.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_addr| Overfull \hbox (20.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rs2_rdata| Overfull \hbox (19.36003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_addr| Overfull \hbox (25.47003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_rd1_wdata| Overfull \hbox (26.03003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_addr| Overfull \hbox (32.90001pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rmask| Overfull \hbox (36.59003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wmask| Overfull \hbox (28.25003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_rdata| Overfull \hbox (32.14003pt too wide) in paragraph at lines 1727--1727 []\T1/qtm/m/n/10 rvfi_mem_wdata| [25] Overfull \hbox (43.99135pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rmask| Overfull \hbox (47.68137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wmask| Overfull \hbox (39.34137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__rdata| Overfull \hbox (43.23137pt too wide) in paragraph at lines 1782--1782 []\T1/qtm/m/n/10 rvfi_csr__wdata| [26] Overfull \hbox (2.09467pt too wide) in paragraph at lines 1841--1841 []\T1/qhv/m/n/10 Vari- Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 []\T1/qtm/m/n/10 rand Underfull \hbox (badness 10000) in paragraph at lines 1841--1841 \T1/qtm/m/n/10 int un- [27] Overfull \hbox (1.06413pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Sig- Overfull \hbox (6.23364pt too wide) in paragraph at lines 1952--1952 []\T1/qhv/m/n/10 Type| Overfull \hbox (2.02414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 stepi| Overfull \hbox (1.11366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 task| Underfull \hbox (badness 10000) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 no- Overfull \hbox (6.06364pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 event| Overfull \hbox (0.50414pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 cmd| Overfull \hbox (7.22366pt too wide) in paragraph at lines 1952--1952 []\T1/qtm/m/n/10 enum| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qhv/m/n/10 Sig- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 no- Overfull \hbox (1.28683pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 valid| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 or- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Overfull \hbox (3.75684pt too wide) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 mode| Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 pc- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 bit[XLEN- Underfull \hbox (badness 10000) in paragraph at lines 2150--2150 []\T1/qtm/m/n/10 de- [28] [29] [30 <./rvvi_state.png>] Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qhv/m/n/10 Con-fig-u-ra-tion class Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Overfull \hbox (11.68163pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Overfull \hbox (11.68163pt too wide) detected at line 2419 \T1/qtm/m/n/10 ing_disable_csr_check_all Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 score-board- Underfull \hbox (badness 10000) in paragraph at lines 2419--2419 []\T1/qtm/m/n/10 Plusarg: +dis- Overfull \hbox (4.31157pt too wide) in paragraph at lines 2419--2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Overfull \hbox (4.31157pt too wide) detected at line 2419 \T1/qtm/m/n/10 able_csr_chk=mip+mepc Underfull \hbox (badness 10000) detected at line 2419 []\T1/qtm/m/n/10 Plusarg: +dis- [31] [32 <./rvfi_rvvi_scoreboard.png>] [33] [34 <./rvfi_rvvi_instruction_check. png>] [35 <./rvfi_rvvi_csr_check.png>] [36 <./rvfi_rvvi_interrupt.png>] [37] [38 <./MemoryModelTestbench.png>] [39 <./SubsystemWrapper.png>] [40] Chapter 6. [41] [42] Chapter 7. [43] Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qhv/m/n/10 VP Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 Ad-dress Overfull \hbox (18.25362pt too wide) in paragraph at lines 2979--2979 \T1/qhv/m/n/10 (data_addr_i)| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0004| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) detected at line 2979 []\T1/qtm/m/n/10 32'h1500_0008 Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1500_1004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 In-struc-tion Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 Mem-ory In- Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 \T1/qtm/m/n/10 ter-face Stall Overfull \hbox (30.99364pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h1600_XXXX| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Vir-tual Pe- Underfull \hbox (badness 10000) detected at line 2979 []\T1/qtm/m/n/10 Vir-tual Pe- Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0000| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0004| Underfull \hbox (badness 10000) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 Sig-na-ture Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0008| Overfull \hbox (23.78363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_000C| Overfull \hbox (22.11363pt too wide) in paragraph at lines 2979--2979 []\T1/qtm/m/n/10 32'h2000_0010| [44] [45 <./TestProgramEnvironment.png>] [46] [47] [48] Chapter 8. [49] Underfull \hbox (badness 10000) in paragraph at lines 3306--3313 \T1/qtm/m/n/10 The CV32E base test, \T1/qtm/m/it/10 uvmt_cv32_base_test_c\T1/qt m/m/n/10 , in-lines code (us-ing \TS1/qtm/b/n/10 `\T1/qtm/b/n/10 in-clude) \T1/ qtm/m/n/10 from [50] [51 <./type1.png>] [52 <./type4.png>] [53] [54] Chapter 9. Underfull \hbox (badness 10000) in paragraph at lines 3477--3481 \T1/qtm/m/n/10 When a Make tar-get re-quires it, a spe-cific hash of riscv-dv i s cloned to Underfull \hbox (badness 10000) in paragraph at lines 3489--3492 []\T1/qtm/m/n/10 For ex-am-ple $CORE_V_VERIF/lib/corev-dv/corev_asm_program_gen .sv im-ple-ments an over-ride of [55] [56] Chapter 10. [57] [58] [59 <./ri5cy_tb.png>] [60] LaTeX Warning: Hyper reference `pulp_verif:anchor-8' on page 61 undefined on in put line 3799. LaTeX Warning: Hyper reference `pulp_verif:anchor-4' on page 61 undefined on in put line 3846. [61] [62] [63 <./ariane_tb.png (PNG copy)>] [64] (./openhw-group-core-v-verif.ind) [65 <./ibex-ve.png>] (./openhw-group-core-v-verif.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/tex-gyre/q-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/tex-gyre/q-ec.enc}< /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi5.pfb> Output written on openhw-group-core-v-verif.pdf (69 pages, 1608372 bytes). Transcript written on openhw-group-core-v-verif.log. Latexmk: Index file 'openhw-group-core-v-verif.idx' was written Latexmk: Log file says output to 'openhw-group-core-v-verif.pdf' Latexmk: All targets (openhw-group-core-v-verif.pdf) are up-to-date [rtd-command-info] start-time: 2022-04-01T19:14:54.584697Z, end-time: 2022-04-01T19:14:54.667037Z, duration: 0, exit-code: 0 mv -f /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/checkouts/latest/docs/VerifStrat/source/_build/latex/openhw-group-core-v-verif.pdf /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/artifacts/latest/sphinx_pdf/openhw-group-core-v-verif.pdf [rtd-command-info] start-time: 2022-04-01T19:14:54.844567Z, end-time: 2022-04-01T19:14:56.406187Z, duration: 1, exit-code: 0 python -m sphinx -T -E -b epub -d _build/doctrees -D language=en . _build/epub Running Sphinx v4.5.0 loading translations [en]... done making output directory... done WARNING: conf value "version" should not be empty for EPUB3 building [mo]: targets for 0 po files that are out of date building [epub]: targets for 11 source files that are out of date updating environment: [new config] 11 added, 0 changed, 0 removed reading sources... [ 9%] corev_dv reading sources... [ 18%] corev_env reading sources... [ 27%] cv32_env reading sources... [ 36%] cva6_env reading sources... [ 45%] index reading sources... [ 54%] intro reading sources... [ 63%] planning_requirements reading sources... [ 72%] pulp_verif reading sources... [ 81%] quick_start reading sources... [ 90%] test_programs reading sources... [100%] uvm_tests looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done writing output... [ 9%] corev_dv writing output... [ 18%] corev_env writing output... [ 27%] cv32_env writing output... [ 36%] cva6_env writing output... [ 45%] index writing output... [ 54%] intro writing output... [ 63%] planning_requirements writing output... [ 72%] pulp_verif writing output... [ 81%] quick_start writing output... [ 90%] test_programs writing output... [100%] uvm_tests generating indices... genindex done writing additional pages... done copying images... [ 5%] ../images/CV32E_VE_phase1.png copying images... [ 11%] ../images/CV32E_VE_phase2.png copying images... [ 17%] ../images/step_compare_sequence1.png copying images... [ 23%] ../images/insn_regs_write_queue.png copying images... [ 29%] ../images/rvvi_state.png copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 41%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 47%] ../images/rvfi_rvvi_csr_check.png copying images... [ 52%] ../images/rvfi_rvvi_interrupt.png copying images... [ 58%] ../images/MemoryModelTestbench.png copying images... [ 64%] ../images/SubsystemWrapper.png copying images... [ 70%] ../images/ri5cy_tb.png copying images... [ 76%] ../images/ariane_tb.png copying images... [ 82%] ../images/ibex-ve.png copying images... [ 88%] ../images/TestProgramEnvironment.png copying images... [ 94%] ../images/type1.png copying images... [100%] ../images/type4.png copying static files... done copying extra files... done writing mimetype file... writing META-INF/container.xml file... writing content.opf file... writing nav.xhtml file... writing toc.ncx file... writing CORE-VVerificationStrategy.epub file... build succeeded, 1 warning. The ePub file is in _build/epub. Updating searchtools for Read the Docs search... [rtd-command-info] start-time: 2022-04-01T19:14:56.595628Z, end-time: 2022-04-01T19:14:56.679168Z, duration: 0, exit-code: 0 mv -f /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/checkouts/latest/docs/VerifStrat/source/_build/epub/CORE-VVerificationStrategy.epub /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/artifacts/latest/sphinx_epub/openhw-group-core-v-verif.epub