From ffb1fe406088ab58e4b7f18c6217614f7857b3b7 Mon Sep 17 00:00:00 2001
From: Xiretza <xiretza@xiretza.xyz>
Date: Sun, 29 Mar 2020 21:58:14 +0200
Subject: [PATCH] Add citations for GitLab CI and RISC-V spec

---
 Diplomschrift.bib      | 14 ++++++++++++++
 sections/core/core.tex |  2 +-
 sections/soc/soc.tex   |  2 +-
 3 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/Diplomschrift.bib b/Diplomschrift.bib
index ad8538d..28683e8 100644
--- a/Diplomschrift.bib
+++ b/Diplomschrift.bib
@@ -98,9 +98,23 @@
     urldate = {2020-03-29},
 }
 
+@online{gitlab-ci,
+    title   = {GitLab CI/CD},
+    url     = {https://docs.gitlab.com/ee/ci/},
+    urldate = {2020-03-29},
+}
+
 @online{symbiyosys-slides,
     author = {Clifford Wolf},
     title  = {Formal Verification withSymbiYosys and Yosys-SMTBMC},
     url    = {http://www.clifford.at/papers/2017/smtbmc-sby/slides.pdf},
     urldate = {2020-03-29},
 }
+
+@reference{riscv-spec-unprivileged,
+    authors = {Andrew Waterman, Krste Asanović},
+    title   = {The RISC-V Instruction Set Manual - Volume I: Unprivileged ISA},
+    year    = {2019},
+    url     = {https://content.riscv.org/wp-content/uploads/2019/12/riscv-spec-20191213.pdf},
+    urldate = {2020-03-29},
+}
diff --git a/sections/core/core.tex b/sections/core/core.tex
index b710ae6..e19768c 100644
--- a/sections/core/core.tex
+++ b/sections/core/core.tex
@@ -4,7 +4,7 @@
 
 \part{The Core}
 
-The core implements the \instrset{} architecture as specified by the RISC-V standard.
+The core implements the \instrset{} architecture as specified by the RISC-V standard~\cite{riscv-spec-unprivileged}.
 
 It is constructed according to the traditional RISC pipeline:
 
diff --git a/sections/soc/soc.tex b/sections/soc/soc.tex
index b563bcc..496b1fa 100644
--- a/sections/soc/soc.tex
+++ b/sections/soc/soc.tex
@@ -180,7 +180,7 @@ The initial implementation of the compliance tests uncovered several bugs in the
  \item The Instruction Set Manual specifies exceptions that must be raised when a misaligned memory access occurs. These exceptions were not yet implemented, but since the compliance tests check for them, the functionality was added to make the tests pass.
 \end{itemize}
 
-Since these tests are easily automated, they were added to the GitLab Continuous Integration (CI) configuration. Whenever a new git commit is pushed to GitLab, the tests are run automatically, and any failures are reported to the responsible committer via email.
+Since these tests are easily automated, they were added to the GitLab Continuous Integration (CI)~\cite{gitlab-ci} configuration. Whenever a new Git commit is pushed to GitLab, the tests are run automatically, and any failures are reported to the responsible committer via email.
 
 \subsection{Formal Verification}