.. avl documentation master file, created by
   sphinx-quickstart on Sun Jan 12 13:21:12 2025.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Apheleia Verification Library Documentation
===========================================

.. image:: /images/apheleia_logo.png
   :align: center

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   introduction/introduction
   quickstart/quickstart
   logging/logging
   variables/variables
   base/base
   base/sync
   factory/factory
   phases/phases
   methodology/methodology
   constraints/constraints
   trace/trace
   coverage/coverage
   coverage/coverage_report
   templates/templates
   visualization/visualization
   modules/all_modules

Additional Libraries / UVCs
===========================

* `avl-ral <https://avl-ral.readthedocs.io/en/latest/>`_ - Apheleia Verification Library - Register Abstraction Layer
* `avl-qemu <https://avl-qemu.readthedocs.io/en/latest/>`_ - Apheleia Verification Library - QEMU Integration
* `avl-apb <https://avl-apb.readthedocs.io/en/latest/>`_ - AMBA APB UVC for Apheleia Verification Library
* `avl-axi-stream <https://avl-axi-stream.readthedocs.io/en/latest/>`_ - AMBA AXI-STREAM UVC for Apheleia Verification Library
* `avl-axi <https://avl-axi.readthedocs.io/en/latest/>`_ - AMBA AXI5 UVC for Apheleia Verification Library
* `avl-riscv-coverage <https://avl-riscv-coverage.readthedocs.io/en/latest/>`_ - RISC-V Coverage collection from trace framework

Indices and tables
==================
* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`