updated documentation
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