This directory contains documents written for Tristan project.

- [Verification Specifications](./verification/README.adoc)
This is the top-level verification document that describes the CVA6 verification strategy and implementation.
- [Tandem-Based Verification](./verification/tandem/README.adoc)
The collection of documents under `verification/tandem` describes in detail the CVA6 tandem (lockstep) verification infrastructure and contains associated User and Reference Manuals.
