docs/verification: use toctree with caption

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>

docs/index.rst

@@ -82,9 +82,25 @@
 
 
 .. toctree::
+    :caption: Physical & Design Verification
+    :name: verification
     :hidden:
 
-    verification
+    verification/index
+    Automated Design Rule (DRC) Checking <verification/drc>
+    - With Mentor Calibre
+    - With MAGIC
+    - With Klayout
+    Layout Versus Schematic (LVS) Checking <verification/lvs>
+    - With Mentor Calibre
+    - With netgen
+    Parasitic Extraction (PEX) <verification/pex>
+    - With Calibre xRC
+    - With MAGIC
+
+
+.. toctree::
+    :hidden:
 
     Python API <python-api/index>
 

docs/verification/index.rst

@@ -1,21 +1,5 @@
-Physical & Design Verification
-==============================
-
-.. toctree::
-    :caption: Physical & Design Verification
-    :name: verification
-
-    Automated Design Rule (DRC) Checking <verification/drc>
-    - With Mentor Calibre
-    - With MAGIC
-    - With Klayout
-    Layout Versus Schematic (LVS) Checking <verification/lvs>
-    - With Mentor Calibre
-    - With netgen
-    Parasitic Extraction (PEX) <verification/pex>
-    - With Calibre xRC
-    - With MAGIC
-
+Overview
+========
 
 .. todo::
     The SkyWater SKY130 PDK provides automated physical and design rule checking decks.