Apheleia Verification Library Documentation

Contents:

• Welcome to AVL RISCV Coverage’s Documentation
• Quickstart Guide
• Instructions and Extensions
• Elf File
• Trace File
• Coverage Packages
• All Modules

usage: avl-riscv-coverage [-h] [--ref REF] [--extensions [EXTENSIONS ...]] [--packages [PACKAGES ...]] [--elf ELF] [--trace TRACE] [--output OUTPUT] [--html] [--verbose]

options:
  -h, --help            show this help message and exit
  --ref REF             Pointer to instr_dict.json (generated from https://github.com/riscv/riscv-opcodes) (default: ./avl-riscv-coverage/avl_riscv_coverage/instr_dict.json)
  --extensions [EXTENSIONS ...
                        List of extensions
  --packages [PACKAGES ...]
                        List of python packages containing covergroups
  --elf ELF             Elf file for testcase
  --trace TRACE         List of trace files
  --output OUTPUT       Output directory for report
  --html                Generate HTML report
  --verbose             Verbose messages

Indices and tables

• Index

• Module Index

• Search Page