Read the Docs build information Build id: 1204677 Project: openhw-group-core-v-verif Version: latest Commit: 393e8f1be9b947b9417da2375dc254a89b986f51 Date: 2022-12-01T15:22:16.872306Z State: finished Success: True [rtd-command-info] start-time: 2022-12-01T15:22:19.094519Z, end-time: 2022-12-01T15:22:33.948231Z, duration: 14, 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-12-01T15:22:34.202313Z, end-time: 2022-12-01T15:22:34.759357Z, 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 393e8f1b Merge pull request #1512 from zchamski/pr/merge-cva6dev-into-master-20221129-updated [rtd-command-info] start-time: 2022-12-01T15:22:34.983166Z, end-time: 2022-12-01T15:22:35.060770Z, duration: 0, exit-code: 0 git clean -d -f -f [rtd-command-info] start-time: 2022-12-01T15:22:36.278383Z, end-time: 2022-12-01T15:22:40.854873Z, 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-12-01T15:22:41.048186Z, end-time: 2022-12-01T15:22:42.819070Z, 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.3.1) Collecting setuptools<58.3.0 Downloading setuptools-58.2.0-py3-none-any.whl (946 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 946.1/946.1 kB 20.3 MB/s eta 0:00:00 Installing collected packages: setuptools Attempting uninstall: setuptools Found existing installation: setuptools 65.6.3 Uninstalling setuptools-65.6.3: Successfully uninstalled setuptools-65.6.3 Successfully installed setuptools-58.2.0 [rtd-command-info] start-time: 2022-12-01T15:22:43.065877Z, end-time: 2022-12-01T15:22:50.349335Z, duration: 7, exit-code: 0 python -m pip install --upgrade --no-cache-dir pillow mock==1.0.1 alabaster>=0.7,<0.8,!=0.7.5 commonmark==0.9.1 recommonmark==0.5.0 sphinx sphinx-rtd-theme readthedocs-sphinx-ext<2.3 Collecting pillow Downloading Pillow-9.3.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.2 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.2/3.2 MB 51.7 MB/s eta 0:00:00 Collecting mock==1.0.1 Downloading mock-1.0.1.zip (861 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 861.9/861.9 kB 256.3 MB/s eta 0:00:00 Preparing metadata (setup.py): started Preparing metadata (setup.py): finished with status 'done' Collecting alabaster!=0.7.5,<0.8,>=0.7 Downloading alabaster-0.7.12-py2.py3-none-any.whl (14 kB) Collecting commonmark==0.9.1 Downloading commonmark-0.9.1-py2.py3-none-any.whl (51 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 51.1/51.1 kB 185.5 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-5.3.0-py3-none-any.whl (3.2 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.2/3.2 MB 180.4 MB/s eta 0:00:00 Collecting sphinx-rtd-theme Downloading sphinx_rtd_theme-1.1.1-py2.py3-none-any.whl (2.8 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 173.8 MB/s eta 0:00:00 Collecting readthedocs-sphinx-ext<2.3 Downloading readthedocs_sphinx_ext-2.2.0-py2.py3-none-any.whl (11 kB) Collecting docutils>=0.11 Downloading docutils-0.19-py3-none-any.whl (570 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 570.5/570.5 kB 251.0 MB/s eta 0:00:00 Collecting Pygments>=2.12 Downloading Pygments-2.13.0-py3-none-any.whl (1.1 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 1.1/1.1 MB 257.2 MB/s eta 0:00:00 Collecting Jinja2>=3.0 Downloading Jinja2-3.1.2-py3-none-any.whl (133 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 133.1/133.1 kB 231.0 MB/s eta 0:00:00 Collecting imagesize>=1.3 Downloading imagesize-1.4.1-py2.py3-none-any.whl (8.8 kB) Collecting sphinxcontrib-htmlhelp>=2.0.0 Downloading sphinxcontrib_htmlhelp-2.0.0-py2.py3-none-any.whl (100 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 100.5/100.5 kB 226.5 MB/s eta 0:00:00 Collecting importlib-metadata>=4.8 Downloading importlib_metadata-5.1.0-py3-none-any.whl (21 kB) Collecting sphinxcontrib-devhelp Downloading sphinxcontrib_devhelp-1.0.2-py2.py3-none-any.whl (84 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 84.7/84.7 kB 213.0 MB/s eta 0:00:00 Collecting sphinxcontrib-applehelp Downloading sphinxcontrib_applehelp-1.0.2-py2.py3-none-any.whl (121 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 121.2/121.2 kB 230.1 MB/s eta 0:00:00 Collecting packaging>=21.0 Downloading packaging-21.3-py3-none-any.whl (40 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 40.8/40.8 kB 151.9 MB/s eta 0:00:00 Collecting sphinxcontrib-jsmath Downloading sphinxcontrib_jsmath-1.0.1-py2.py3-none-any.whl (5.1 kB) Collecting snowballstemmer>=2.0 Downloading snowballstemmer-2.2.0-py2.py3-none-any.whl (93 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 93.0/93.0 kB 202.1 MB/s eta 0:00:00 Collecting sphinxcontrib-qthelp Downloading sphinxcontrib_qthelp-1.0.3-py2.py3-none-any.whl (90 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 90.6/90.6 kB 221.3 MB/s eta 0:00:00 Collecting requests>=2.5.0 Downloading requests-2.28.1-py3-none-any.whl (62 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 62.8/62.8 kB 195.0 MB/s eta 0:00:00 Collecting sphinxcontrib-serializinghtml>=1.1.5 Downloading sphinxcontrib_serializinghtml-1.1.5-py2.py3-none-any.whl (94 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 94.0/94.0 kB 218.0 MB/s eta 0:00:00 Collecting babel>=2.9 Downloading Babel-2.11.0-py3-none-any.whl (9.5 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 9.5/9.5 MB 162.5 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 250.7 MB/s eta 0:00:00 Collecting pytz>=2015.7 Downloading pytz-2022.6-py2.py3-none-any.whl (498 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 498.1/498.1 kB 245.0 MB/s eta 0:00:00 Collecting typing-extensions>=3.6.4 Downloading typing_extensions-4.4.0-py3-none-any.whl (26 kB) Collecting zipp>=0.5 Downloading zipp-3.11.0-py3-none-any.whl (6.6 kB) Collecting MarkupSafe>=2.0 Downloading MarkupSafe-2.1.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (25 kB) Collecting pyparsing!=3.0.5,>=2.0.2 Downloading pyparsing-3.0.9-py3-none-any.whl (98 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 98.3/98.3 kB 215.9 MB/s eta 0:00:00 Collecting urllib3<1.27,>=1.21.1 Downloading urllib3-1.26.13-py2.py3-none-any.whl (140 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 140.6/140.6 kB 224.4 MB/s eta 0:00:00 Collecting certifi>=2017.4.17 Downloading certifi-2022.9.24-py3-none-any.whl (161 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 161.1/161.1 kB 225.6 MB/s eta 0:00:00 Collecting charset-normalizer<3,>=2 Downloading charset_normalizer-2.1.1-py3-none-any.whl (39 kB) Collecting idna<4,>=2.5 Downloading idna-3.4-py3-none-any.whl (61 kB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 61.5/61.5 kB 190.0 MB/s eta 0:00:00 Building wheels for collected packages: mock 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=23772 sha256=024329699c7b2d500dfb743a243f40dd166979bcc8f9fd4913b026a5592b923d Stored in directory: /tmp/pip-ephem-wheel-cache-hn656ztg/wheels/d1/33/8e/f9d24f00cc130866aacfe7c3bc15571217e2b22cc4c4e1b443 Successfully built mock Installing collected packages: snowballstemmer, pytz, mock, commonmark, alabaster, zipp, urllib3, typing-extensions, sphinxcontrib-serializinghtml, sphinxcontrib-qthelp, sphinxcontrib-jsmath, sphinxcontrib-htmlhelp, sphinxcontrib-devhelp, sphinxcontrib-applehelp, pyparsing, Pygments, pillow, MarkupSafe, imagesize, idna, docutils, charset-normalizer, certifi, babel, requests, packaging, Jinja2, importlib-metadata, sphinx, readthedocs-sphinx-ext, sphinx-rtd-theme, recommonmark Successfully installed Jinja2-3.1.2 MarkupSafe-2.1.1 Pygments-2.13.0 alabaster-0.7.12 babel-2.11.0 certifi-2022.9.24 charset-normalizer-2.1.1 commonmark-0.9.1 docutils-0.17.1 idna-3.4 imagesize-1.4.1 importlib-metadata-5.1.0 mock-1.0.1 packaging-21.3 pillow-9.3.0 pyparsing-3.0.9 pytz-2022.6 readthedocs-sphinx-ext-2.2.0 recommonmark-0.5.0 requests-2.28.1 snowballstemmer-2.2.0 sphinx-5.3.0 sphinx-rtd-theme-1.1.1 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.4.0 urllib3-1.26.13 zipp-3.11.0 [rtd-command-info] start-time: 2022-12-01T15:22:50.549806Z, end-time: 2022-12-01T15:22:52.781793Z, duration: 2, exit-code: 0 python -m pip install --exists-action=w --no-cache-dir -r docs/VerifStrat/requirements.txt Collecting sphinx==4.2.0 Downloading Sphinx-4.2.0-py3-none-any.whl (3.1 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 3.1/3.1 MB 59.3 MB/s eta 0:00:00 Collecting sphinx_rtd_theme==1.0.0 Downloading sphinx_rtd_theme-1.0.0-py2.py3-none-any.whl (2.8 MB) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 2.8/2.8 MB 193.9 MB/s eta 0:00:00 Requirement already satisfied: sphinxcontrib-jsmath in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.1) Requirement already satisfied: sphinxcontrib-qthelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.3) Requirement already satisfied: sphinxcontrib-serializinghtml>=1.1.5 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.1.5) Requirement already satisfied: alabaster<0.8,>=0.7 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (0.7.12) Requirement already satisfied: setuptools in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (58.2.0) Requirement already satisfied: Pygments>=2.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.13.0) Requirement already satisfied: sphinxcontrib-htmlhelp>=2.0.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.0.0) Requirement already satisfied: Jinja2>=2.3 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.1.2) Requirement already satisfied: babel>=1.3 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.11.0) Requirement already satisfied: sphinxcontrib-devhelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.2) Requirement already satisfied: imagesize in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.4.1) Requirement already satisfied: requests>=2.5.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.28.1) Requirement already satisfied: docutils<0.18,>=0.14 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (0.17.1) Requirement already satisfied: packaging in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (21.3) Requirement already satisfied: snowballstemmer>=1.1 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.2.0) Requirement already satisfied: sphinxcontrib-applehelp in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.0.2) Requirement already satisfied: pytz>=2015.7 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from babel>=1.3->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2022.6) Requirement already satisfied: MarkupSafe>=2.0 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from Jinja2>=2.3->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.1.1) Requirement already satisfied: idna<4,>=2.5 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from requests>=2.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.4) Requirement already satisfied: urllib3<1.27,>=1.21.1 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from requests>=2.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (1.26.13) Requirement already satisfied: certifi>=2017.4.17 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from requests>=2.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2022.9.24) Requirement already satisfied: charset-normalizer<3,>=2 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from requests>=2.5.0->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (2.1.1) Requirement already satisfied: pyparsing!=3.0.5,>=2.0.2 in /home/docs/checkouts/readthedocs.org/user_builds/openhw-group-core-v-verif/envs/latest/lib/python3.7/site-packages (from packaging->sphinx==4.2.0->-r docs/VerifStrat/requirements.txt (line 3)) (3.0.9) Installing collected packages: sphinx, sphinx_rtd_theme Attempting uninstall: sphinx Found existing installation: Sphinx 5.3.0 Uninstalling Sphinx-5.3.0: Successfully uninstalled Sphinx-5.3.0 Attempting uninstall: sphinx_rtd_theme Found existing installation: sphinx-rtd-theme 1.1.1 Uninstalling sphinx-rtd-theme-1.1.1: Successfully uninstalled sphinx-rtd-theme-1.1.1 Successfully installed sphinx-4.2.0 sphinx_rtd_theme-1.0.0 [rtd-command-info] start-time: 2022-12-01T15:22:54.628567Z, end-time: 2022-12-01T15:22:54.707061Z, 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 = [] # This theme overrides fixes the table with and breaks other formatting. #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", 'proxied_static_path': "/_/static/", 'versions': [ ("latest", "/en/latest/"), ], 'downloads': [ ], 'subprojects': [ ], 'slug': 'openhw-group-core-v-verif', 'name': u'core-v-verif', 'rtd_language': u'en', 'programming_language': u'words', 'canonical_url': 'https://docs.openhwgroup.org/projects/core-v-verif/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': '393e8f1b', } # 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/1204677/' 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-12-01T15:22:54.974265Z, end-time: 2022-12-01T15:22:56.715608Z, duration: 1, exit-code: 0 python -m sphinx -T -E -b html -d _build/doctrees -D language=en . _build/html Running Sphinx v4.2.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... [ 7%] ../images/CV32E_VE_phase2.png copying images... [ 14%] ../images/step_compare_sequence1.png copying images... [ 21%] ../images/insn_regs_write_queue.png copying images... [ 28%] ../images/rvvi_state.png copying images... [ 35%] ../images/rvfi_rvvi_scoreboard.png copying images... [ 42%] ../images/rvfi_rvvi_instruction_check.png copying images... [ 50%] ../images/rvfi_rvvi_csr_check.png copying images... [ 57%] ../images/rvfi_rvvi_interrupt.png copying images... [ 64%] ../images/ri5cy_tb.png copying images... [ 71%] ../images/ariane_tb.png copying images... [ 78%] ../images/ibex-ve.png copying images... [ 85%] ../images/TestProgramEnvironment.png copying images... [ 92%] ../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...