..
   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


.. MikeTest documentation master file, created by
   sphinx-quickstart on Sun Apr  5 16:18:18 2020.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

OpenHW Group CORE-V Verification Strategy
==============================================
Editor: **Michael Thompson**
`mike@openhwgroup.org <mailto:mike@openhwgroup.org?subject=CORE-V%20Verification%20Strategy>`__

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   intro
   quick_start
   planning_requirements
   corev_env
   cv32_env
   cva6_env
   test_programs
   uvm_tests
   corev_dv
   pulp_verif
