Revert index to select

[yosys.git] / manual / CHAPTER_Eval.tex

diff --git a/manual/CHAPTER_Eval.tex b/manual/CHAPTER_Eval.tex
index c27a000bfd8adf0c3e491f142129cb1c76758e97..f719618d50e624eac2b081a49aa8e3562e967dcd 100644 (file)
--- a/manual/CHAPTER_Eval.tex
+++ b/manual/CHAPTER_Eval.tex
@@ -43,7 +43,7 @@ The following measures were taken to increase the confidence in the correctness
 make test} is executed. During development of Yosys it was shown that this
 collection of test cases is sufficient to catch most bugs. The following more
 sophisticated test procedures only caught a few additional bugs. Whenever this
-happend, an appropiate test case was added to the collection of small test
+happened, an appropriate test case was added to the collection of small test
 cases for {\tt make test} to ensure better testability of the feature in
 question in the future.
 
@@ -64,7 +64,7 @@ validate successfully using Formality.
 \item VlogHammer \citeweblink{VlogHammer} is a set of scripts that
 auto-generate a large collection of test cases\footnote{At the time of this
 writing over 6600 test cases.} and synthesize them using Yosys and the
-following freely available propritary synthesis tools.
+following freely available proprietary synthesis tools.
 \begin{itemize}
 \item Xilinx Vivado WebPack (2013.2) \citeweblink{XilinxWebPACK}
 \item Xilinx ISE (XST) WebPack (14.5) \citeweblink{XilinxWebPACK}