updated documentation

docs/source/index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index e756a3f..89574f1 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -192,8 +192,10 @@
 .. code:: bash
 
     export PDK_ROOT=<pdk-installation-path>
-    # Run RTL simulation on IO ports testbench, make verify-io_ports
     make verify-<testbench-name>-rtl
+    
+    # For example
+    make verify-io_ports-rtl
 
 Once you have the physical implementation done and you have the gate-level netlists ready, it is crucial to run full gate-level simulations to make sure that your design works as intended after running the physical implementation. 
 
@@ -202,9 +204,21 @@
 .. code:: bash
 
     export PDK_ROOT=<pdk-installation-path>
-    # Run RTL simulation on IO ports testbench, make verify-io_ports
     make verify-<testbench-name>-gl
 
+    # For example
+    make verify-io_ports-gl
+
+To make sure that your design is timing clean, one way is running sdf annotated gate-level simulation
+Run the sdf annotated gate-level simulation by: 
+
+.. code:: bash
+
+    export PDK_ROOT=<pdk-installation-path>
+    make verify-<testbench-name>-gl-sdf
+
+    # For example
+    make verify-io_ports-gl-sdf
 
 This sample project comes with four example testbenches to test the IO port connection, wishbone interface, and logic analyzer. The test-benches are under the
 `verilog/dv <https://github.com/efabless/caravel_user_project/tree/main/verilog/dv>`__ directory. For more information on setting up the

docs/source/quickstart.rst

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index 099afe5..f79208a 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -104,6 +104,10 @@
             # OR GL simulation using
             make verify-<testbench-name>-gl
 
+            # OR for GL+SDF simulation using 
+            # sdf annotated simulation is slow
+            make verify-<testbench-name>-gl-sdf
+
             # for example
             make verify-io_ports-rtl