Add tandem verification documentation (#2553)

openhwgroup · Oct 17, 2024 · cff48e4 · cff48e4
1 parent 48480c7
commit cff48e4
Show file tree

Hide file tree

Showing 6 changed files with 870 additions and 0 deletions.
diff --git a/docs/04_cv32a65x/tristan/README.md b/docs/04_cv32a65x/tristan/README.md
@@ -2,3 +2,5 @@ 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.
diff --git a/docs/04_cv32a65x/tristan/tandem-verification/figures/Spike-simulation-scope.svg b/docs/04_cv32a65x/tristan/tandem-verification/figures/Spike-simulation-scope.svg
diff --git a/...04_cv32a65x/tristan/tandem-verification/figures/overall-tandem-architecture.svg b/...04_cv32a65x/tristan/tandem-verification/figures/overall-tandem-architecture.svg
diff --git a/docs/04_cv32a65x/tristan/tandem-verification/figures/refmodel-step-stages.svg b/docs/04_cv32a65x/tristan/tandem-verification/figures/refmodel-step-stages.svg