added stuff

Author: ryancramuh

source/_static/pdf/meeting-slides/intro-to-formal.pdf

@@ -6,3 +6,4 @@ View the `Francisco Wilken's Intro to ASIC Presentation (PDF) <../_static/pdf/ve
 .. raw:: html
 
    <iframe src="../_static/pdf/verilog-meetups-stuff/10_25%20Pres.pdf" width="100%" height="600px" style="border:none;"></iframe>
+

source/docs/intro-to-asic.rst

@@ -0,0 +1,8 @@
+Intro to ASIC Formal Verification Slides
+=====================================
+
+View the `Riley Peter's Intro to ASIC Formal Verification Presentation (PDF) <../_static/pdf/meeting-slides/intro-to-formal.pdf>`_
+
+.. raw:: html
+
+   <iframe src="../_static/pdf/meeting-slides/intro-to-formal.pdf" width="100%" height="600px" style="border:none;"></iframe>

source/docs/intro-to-formal.rst

@@ -11,6 +11,8 @@ Presenter Slides
 
   :doc:`../bist`
 
+  :doc:`../intro-to-formal`
+
 .. toctree::
   :hidden:
   :maxdepth: 4
@@ -21,3 +23,4 @@ Presenter Slides
   ../intro-to-asic
   ../intro-fifo
   ../bist
+  ../intro-to-formal

source/docs/presentations/index.rst

@@ -5,4 +5,8 @@ CARP Videos
 
 `Layout Team - Flow Demo <https://www.youtube.com/watch?v=x48YaTp-b7Q>`_
 
-`Verilog Meetup Event Videos - <https://www.youtube.com/watch?v=PZAxtHzPFCM&list=PLeuUczGoUbdrEi9uJ-WoV_ze26XoNv759>`_
+`Verilog Meetup Event Videos <https://www.youtube.com/watch?v=PZAxtHzPFCM&list=PLeuUczGoUbdrEi9uJ-WoV_ze26XoNv759>`_
+
+`CARP Guest Talk - ASIC Design and TinyTapeout with Matt Venn <https://www.youtube.com/watch?v=koR7RC7Wuik>`_
+
+`Intro to ASIC Formal Verification - Riley Peters <https://www.youtube.com/watch?v=Bvp3MHgNWHY>`_

source/docs/video-guides/video-guides.rst

@@ -42,6 +42,7 @@ CARP Contributor Homepage
   docs/asic-class/asic-class
   docs/timing-guides/index
   docs/FreeRTOS/index
+  docs/risc-v/index
 
   .. docs/memory/index