..
   Copyright (c) 2022 Thales

   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

CV32A6-step1 Design Verification Plan
=====================================

.. toctree::
   :maxdepth: 3
   :caption: Contents:

   dvplan_intro
   dvplan_FRONTEND
   dvplan_ISA_RV32
   dvplan_CVXIF
   dvplan_AXI
   dvplan_FENCEI
   dvplan_csr-access
   dvplan_traps

