AVL - Apheleia Verification Library
AVL has been developed by experienced, industry professional verification engineers to provide a methodology
and library of base classes for developing functional verification environments in Python.
AVL is built on the CocoTB framework, but aims to combine the best elements of
UVM in a more engineer friendly and efficient way.
CocoTB 2.0
AVL now supports CocoTB2.0 https://docs.cocotb.org/en/development/upgrade-2.0.html. This was introduced in v0.3.0.
All older versions support v1.9.1 and will fail if run with CocoTB 2.0.
To upgrade follow the instructions given on the link above.
📦 Installation
Using pip
# Standard build
pip install avl-core
# Development build
pip install avl-core[dev]
Install from Source
git clone https://github.com/projectapheleia/avl.git
cd avl
# Standard build
pip install .
# Development build
pip install .[dev]
Alternatively if you want to create a virtual environment rather than install globally a script is provided. This will install, with edit privileges to local virtual environment.
This script assumes you have Verilator, GTKWave and Graphviz installed, so all examples and documentation will build out of the box.
git clone https://github.com/projectapheleia/avl.git
cd avl
source avl.sh
📖 Documentation
In order to build the documentation you must have installed the development build.
Build from Source
cd docs
make html
<browser> build/html/index.html
🏃 Examples
In order to run all the examples you must have installed the development build.
To run all examples:
cd examples
# To run
make -j 8 sim
# To clean
make -j 8 clean
To run an individual example:
cd examples/THE EXAMPLE YOU WANT
# To run
make sim
# To clean
make clean
The examples use the CocoTB Makefile and default to Verilator with all waveforms generated. This can be modified using the standard CocoTB build system.
WARNING: Due to GNU Make not exporting variables not already in env the user must ensure PYTHONPATH is set in the environment. If you have sourced the avl.sh this is done for you.
🧹 Code Style & Linting
This project uses Ruff for linting and formatting.
Check code for issues:
ruff check .
Automatically fix common issues:
ruff check . --fix
Additional Libraries / UVCs
| Library | Description |
|---|---|
| avl-ral | Register Abstraction Layer |
| avl-qemu | QEMU Integration |
| avl-apb | AMBA APB UVC |
| avl-axi-stream | AMBA AXI-STREAM UVC |
| avl-axi | AMBA AXI5 UVC |
| avl-riscv-coverage | RISCV Coverage collection from trace framework |
| avl-tutorials | AVL Tutorials and introduction presentations |
📧 Contact
- Email: avl@projectapheleia.net
- GitHub: projectapheleia
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file avl_core-1.0.1.tar.gz.
File metadata
- Download URL: avl_core-1.0.1.tar.gz
- Upload date:
- Size: 117.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/7.0.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ed5970a3b46b0d5a0d69375a65922d68255e003952d90417a57606432e4c1822
|
|
| MD5 |
eb038a388bb1d5b4eef7721c5ecdf1ec
|
|
| BLAKE2b-256 |
3695479b1119d5bb69a9673827724bd6c9e9bcc4d6485103254baa7459c7de8e
|
File details
Details for the file avl_core-1.0.1-py3-none-any.whl.
File metadata
- Download URL: avl_core-1.0.1-py3-none-any.whl
- Upload date:
- Size: 135.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/7.0.0 CPython/3.12.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
af08e22634fc0ef25fa03ad7b9933cd5ece80c967c53b42d710dbda76a2f5c2a
|
|
| MD5 |
630b16c77ee1b76fd8dadd36d8926a1c
|
|
| BLAKE2b-256 |
50d652fe76cdd91626fedac09c45ec7c126b20afe0b0a5feea0620b88c646a83
|
