diff --git a/docs/04_cv32a65x/tristan/README.md b/docs/04_cv32a65x/tristan/README.md index 646450cb0e..ddd65b89d5 100644 --- a/docs/04_cv32a65x/tristan/README.md +++ b/docs/04_cv32a65x/tristan/README.md @@ -1,4 +1,4 @@ This directory contains documents written for Tristan project. -- [Verification Specifications](./tristan_verification_specifications.adoc) +- [Verification Specifications](./verif-spec/verification_specifications.adoc) This document describes the CVA6 verification strategy and implementation. diff --git a/docs/04_cv32a65x/tristan/media/axiagentmerge.png b/docs/04_cv32a65x/tristan/verif-spec/media/axiagentmerge.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/axiagentmerge.png rename to docs/04_cv32a65x/tristan/verif-spec/media/axiagentmerge.png diff --git a/docs/04_cv32a65x/tristan/media/frontendsb.png b/docs/04_cv32a65x/tristan/verif-spec/media/frontendsb.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/frontendsb.png rename to docs/04_cv32a65x/tristan/verif-spec/media/frontendsb.png diff --git a/docs/04_cv32a65x/tristan/media/funccovresults.png b/docs/04_cv32a65x/tristan/verif-spec/media/funccovresults.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/funccovresults.png rename to docs/04_cv32a65x/tristan/verif-spec/media/funccovresults.png diff --git a/docs/04_cv32a65x/tristan/media/hvp.png b/docs/04_cv32a65x/tristan/verif-spec/media/hvp.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/hvp.png rename to docs/04_cv32a65x/tristan/verif-spec/media/hvp.png diff --git a/docs/04_cv32a65x/tristan/media/image1.png b/docs/04_cv32a65x/tristan/verif-spec/media/image1.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image1.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image1.png diff --git a/docs/04_cv32a65x/tristan/media/image2.png b/docs/04_cv32a65x/tristan/verif-spec/media/image2.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image2.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image2.png diff --git a/docs/04_cv32a65x/tristan/media/image3.png b/docs/04_cv32a65x/tristan/verif-spec/media/image3.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image3.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image3.png diff --git a/docs/04_cv32a65x/tristan/media/image4.png b/docs/04_cv32a65x/tristan/verif-spec/media/image4.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image4.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image4.png diff --git a/docs/04_cv32a65x/tristan/media/image5.png b/docs/04_cv32a65x/tristan/verif-spec/media/image5.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image5.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image5.png diff --git a/docs/04_cv32a65x/tristan/media/image6.png b/docs/04_cv32a65x/tristan/verif-spec/media/image6.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image6.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image6.png diff --git a/docs/04_cv32a65x/tristan/media/image7.png b/docs/04_cv32a65x/tristan/verif-spec/media/image7.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/image7.png rename to docs/04_cv32a65x/tristan/verif-spec/media/image7.png diff --git a/docs/04_cv32a65x/tristan/media/rtlparam.png b/docs/04_cv32a65x/tristan/verif-spec/media/rtlparam.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/rtlparam.png rename to docs/04_cv32a65x/tristan/verif-spec/media/rtlparam.png diff --git a/docs/04_cv32a65x/tristan/media/rtlparamgates.png b/docs/04_cv32a65x/tristan/verif-spec/media/rtlparamgates.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/rtlparamgates.png rename to docs/04_cv32a65x/tristan/verif-spec/media/rtlparamgates.png diff --git a/docs/04_cv32a65x/tristan/media/toggleresults.png b/docs/04_cv32a65x/tristan/verif-spec/media/toggleresults.png similarity index 100% rename from docs/04_cv32a65x/tristan/media/toggleresults.png rename to docs/04_cv32a65x/tristan/verif-spec/media/toggleresults.png diff --git a/docs/04_cv32a65x/tristan/tristan_verification_specifications.adoc b/docs/04_cv32a65x/tristan/verif-spec/verification_specifications.adoc similarity index 100% rename from docs/04_cv32a65x/tristan/tristan_verification_specifications.adoc rename to docs/04_cv32a65x/tristan/verif-spec/verification_specifications.adoc