avl-qemu 0.1.0

Apheleia Verification Library - QEMU verification component

AVL-QEMU- Apheleia Verification Library QEMU Component

AVL-QEMU has been developed by experienced, industry professional verification engineers to provide a simple,
extensible verification component integrating QEMU emulation
developed in Python and the AVL library.

AVL is built on the CocoTB framework.

CocoTB 2.0

AVL-QEMU supports CocoTB2.0 https://docs.cocotb.org/en/development/upgrade-2.0.html. This was introduced in v0.2.0.

Component Features

• Custom address map device integration to QEMU with dedicated, time-consuming read and write callbacks
• File system PIPE interface between QEMU and AVL / CocoTB

---

📦 Installation

Using pip

# Standard build
pip install avl-qemu

# Development build
pip install avl-qemu[dev]

Install from Source

git clone https://github.com/projectapheleia/avl-qemu.git
cd avl-qemu

# 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 Graphviz and appropriate simulator installed, so all examples and documentation will build out of the box.

git clone https://github.com/projectapheleia/avl-qemu.git
cd avl-qemu
source avl-qemu.sh

Configuring and Building Custom QEMU

AVL-QEMU relies on a custom device install of QEMU. This can only be done when you build QEMU from source.

A script is provided to download, configure and build QEMU for the user from source.

usage: install-qemu-avl-device [-h] --path PATH [--clean] [--nproc NPROC]

Git Clone and configure qemu with the custom avl device

options:
  -h, --help     show this help message and exit
  --path PATH    Install Path
  --clean        Clean existing installation
  --nproc NPROC  Number of processors to use when building QEMU (default: 16)

:w

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

---

🧹 Code Style & Linting

This project uses Ruff for linting and formatting.

Check code for issues:

ruff check .

Automatically fix common issues:

ruff check . --fix

📧 Contact

• Email: [e-mail]
• GitHub: projectapheleia