diff --git a/Basics/Components.rst b/Basics/Components.rst
index c11f26e..d2365d0 100644
--- a/Basics/Components.rst
+++ b/Basics/Components.rst
@@ -29,7 +29,7 @@ We have three benchmark suites implemented for demonstration.
`Machsuite `__ is a benchmark suite intended for accelerator-centric research. A subset of workloads are implemented.
**DSP:**
- Digital signal processing (DSP) is a benchmark suite from our prior work `REVEL `__ for applications with moderate irregularity and imbalanced execution frequency within loop bodies.
+ Digital signal processing (DSP) is a benchmark suite from our prior work `REVEL `__ for applications with moderate irregularity and imbalanced execution frequency within loop bodies.
**Xilinx Vision:**
diff --git a/Basics/Setup.rst b/Basics/Setup.rst
index 4defb2b..52ee43e 100644
--- a/Basics/Setup.rst
+++ b/Basics/Setup.rst
@@ -55,7 +55,7 @@ container starts, you should build the framework infrastructures from the source
$ source ./setup.sh # setup environement variables
# Compile the entire dsa-framework
- $ make all -j
+ $ make all -j # If you only use a single thread, the process may take 20 hours.
# Please source chipyard/env.sh manually if this is a first time build
$ source chipyard/env.sh
@@ -70,7 +70,7 @@ To verify the repo is successfully built, you can
.. code-block:: shell
- $ cd dsa-apps/demo
+ $ cd dsa-apps/sdk/compiled
$ ./run.sh ss-vecadd.out
The command above make a simple vector addition example compiled by LLVM and simulated in Gem5.
@@ -88,4 +88,4 @@ You can import the docker image and use dsa-framework by doing:
.. code-block:: shell
- $ docker import .tar polyarch/dsa-framework:latest
\ No newline at end of file
+ $ docker import .tar polyarch/dsa-framework:latest
diff --git a/ISA/Semantics.rst b/ISA/Semantics.rst
index 480aef8..9f8d230 100644
--- a/ISA/Semantics.rst
+++ b/ISA/Semantics.rst
@@ -1 +1,3 @@
-@Sihao?
+# Semantics
+
+TODO @Sihao