This directory contains documents written for Tristan project.

- [Verification Specifications](./verif-spec/verification_specifications.adoc)
This document describes the CVA6 verification strategy and implementation.
- [Tandem-Based Verification](./tandem-verification/tandem.adoc)
This document describes the CVA6 tandem (lockstep) verification infrastructure and contains associated User and Reference Manuals.
