% (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}
{\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}}
\titlepage
\end{frame}
-\setcounter{section}{-2}
+\setcounter{section}{-3}
\section{Abstract}
\begin{frame}{Abstract}
\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}
\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}