kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero
[yosys.git] / manual / presentation.tex
index cad9e9f1536a4c38e7e70e9ba61c07b0a1179ef4..63b963bbdd5a4f03fd6c5f106dafd41b6832294c 100644 (file)
@@ -18,7 +18,7 @@
 % (i.e. run "sudo su" and then execute the commands in the root
 % shell, don't just prefix the commands with "sudo").
 
-% formats the text accourding the set language
+% formats the text according the set language
 \usepackage[english]{babel}
 \usepackage{amsmath}
 \usepackage{multirow}
@@ -74,7 +74,7 @@
 {\usebeamerfont{subsection name}\usebeamercolor[fg]{subsection name}of \sectionname~\insertsectionnumber}
 \vskip1em\par
 \setbeamercolor{graybox}{bg=gray}
-\begin{beamercolorbox}[sep=8pt,center,bg=gray]{graybox}
+\begin{beamercolorbox}[sep=8pt,center]{graybox}
 \usebeamerfont{subsection title}\insertsection\par
 \end{beamercolorbox}
 \end{centering}}
@@ -118,7 +118,7 @@ hobbyists, educators and engineers alike.
 \bigskip
 This presentation covers basic concepts of Yosys, writing synthesis scripts
 for a wide range of applications, creating Yosys scripts for various
-non-synthesis applications (such as formal equivialence checking) and
+non-synthesis applications (such as formal equivalence checking) and
 writing extensions to Yosys using the C++ API.
 \end{frame}
 
@@ -132,13 +132,10 @@ I like writing open source software. For example:
 \item Yosys
 \item OpenSCAD (now maintained by Marius Kintel)
 \item SPL (a not very popular scripting language)
-\item EmbedVM (a very simple colipler+vm for 8 bit micros)
-\item Lib(X)SVF (a library to play SVF/XSVF files over JTAG, used at LHC)
-\item ROCK Linux (inactive since 2010)
+\item EmbedVM (a very simple compiler+vm for 8 bit micros)
+\item Lib(X)SVF (a library to play SVF/XSVF files over JTAG)
+\item ROCK Linux (discontinued since 2010)
 \end{itemize}
-
-\bigskip
-What do I do for a living? Ask me off the record..
 \end{frame}
 
 \section{Outline}