docs: Adding verification tools placeholders.

Signed-off-by: Tim 'mithro' Ansell <me@mith.ro>

docs/index.rst

@@ -14,6 +14,7 @@
     analog
     digital
     sim
+    verification
 
     Python API <python-api/index>
 

docs/verification.rst

@@ -0,0 +1,46 @@
+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
+
+
+.. todo::
+    The SkyWater SKY130 PDK provides automated physical and design rule checking decks.
+
+    These verification rules provide;
+
+     * :term:`Design Rule Checking` (:term:`DRC`) against rules described in the
+       :ref:`SkyWater SKY130 Process Design Rules` documentation.
+
+       .. warning::
+
+           There are some design rules which can not be verified with these decks.
+           They are clearly marked in the :ref:`SkyWater SKY130 Process Design Rules`
+           documentation and should be manually verified by the designer.
+
+     * :term:`Layout Verse Schematic` (:term`LVS`) Verification
+     * :term:`Parasitic Extraction` (:term:`PEX`)
+
+TODO: Calibre Decks
+-------------------
+
+Put stuff here.
+
+TODO: MAGIC Decks
+-----------------
+
+Put stuff here.
+

docs/verification/drc.rst

@@ -0,0 +1,8 @@
+Design Rule Verification
+========================
+
+.. toctree::
+
+    With Mentor Calibre <drc/calibre>
+    With Magic <drc/magic>
+    With KLayout <drc/klayout>

docs/verification/drc/calibre.rst

@@ -0,0 +1,2 @@
+TODO: verification/drc/calibre
+==============================

docs/verification/drc/klayout.rst

@@ -0,0 +1,2 @@
+TODO: verification/drc/klayout
+==============================

docs/verification/drc/magic.rst

@@ -0,0 +1,2 @@
+TODO: verification/drc/magic
+============================

docs/verification/lvs.rst

@@ -0,0 +1,8 @@
+Layout verse Schematic (LVS) Verification
+=========================================
+
+.. toctree::
+
+    With Mentor Calibre <lvs/calibre>
+    With Magic <lvs/magic>
+    With KLayout <lvs/klayout>

docs/verification/lvs/calibre.rst

@@ -0,0 +1,2 @@
+TODO: verification/lvs/calibre
+==============================

docs/verification/lvs/klayout.rst

@@ -0,0 +1,2 @@
+TODO: verification/lvs/klayout
+==============================

docs/verification/lvs/magic.rst

@@ -0,0 +1,2 @@
+TODO: verification/lvs/magic
+============================

docs/verification/pex.rst

@@ -0,0 +1,8 @@
+Parasitics Extraction (PEX)
+===========================
+
+.. toctree::
+
+    With Mentor Calibre <pex/calibre>
+    With Magic <pex/magic>
+    With KLayout <pex/klayout>

docs/verification/pex/calibre.rst

@@ -0,0 +1,2 @@
+TODO: verification/pex/calibre
+==============================

docs/verification/pex/klayout.rst

@@ -0,0 +1,2 @@
+TODO: verification/pex/klayout
+==============================

docs/verification/pex/magic.rst

@@ -0,0 +1,2 @@
+TODO: verification/pex/magic
+============================