Modify the navigation bar for dynamic verification

pkuzjx · Nov 22, 2022 · 27a7851 · 27a7851
1 parent 7ea89ae
commit 27a7851
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/docs/verification/dynamic.md b/docs/verification/dynamic.md
@@ -10,4 +10,6 @@
 + [rfuzz](https://github.com/ekiwi/rfuzz) (Berkeley), under [BSD 3-Clause License](https://github.com/ekiwi/rfuzz/blob/main/LICENSE)
   - Coverage-directed fuzzing for RTL research platform.
 + [RTLFuzzLab](https://github.com/ekiwi/rtl-fuzz-lab) (Berkeley), under [BSD 2-Clause License](https://github.com/ekiwi/rtl-fuzz-lab/blob/main/LICENSE)
-  - RTLFuzzLab is designed to allow for easy experimentation with Coverage Directed Mutational Fuzz Testing on RTL designs.
+  - RTLFuzzLab is designed to allow for easy experimentation with Coverage Directed Mutational Fuzz Testing on RTL designs.
+
+### see also [Logic Simulation](https://openbelt.org.cn/wiki/analysis/logic/)
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -48,7 +48,7 @@ nav:
 
   - 设计验证:
     - 设计验证简介: verification/index.md
-    - 动态验证: analysis/logic.md
+    - 动态仿真验证: verification/dynamic.md
     - 形式化验证: verification/formal.md
     - 物理验证: verification/physical.md