Welcome to AVL RISCV Coverage’s Documentation

What is AVL RISCV Coverage?

AVL is the Apheleia Verification Library. AVL RISCV Coverage is a framework for generating RISCV ISA functional coverage from test elf and trace files.

By using elf and trace files no time and resource consuming RTL simulations have to be run in order to establish the benefit of new tests. This is particularly useful when a RAG (Random Assembly Generator).

This library provided the simple framework for developing coverage, and encourages the wider community to contribute the coverage packages themselves.