2014-02-03 16:26:27 +01:00
|
|
|
|
|
|
|
|
\section{Yosys by example -- Beyond Synthesis}
|
|
|
|
|
|
|
|
|
|
\begin{frame}
|
|
|
|
|
\sectionpage
|
|
|
|
|
\end{frame}
|
|
|
|
|
|
2014-02-05 13:12:50 +01:00
|
|
|
\begin{frame}{Overview}
|
|
|
|
|
This section contains 3 subsections:
|
|
|
|
|
\begin{itemize}
|
|
|
|
|
\item Interactive Design Investigation
|
|
|
|
|
\item Symbolic Model Checking
|
|
|
|
|
\item Reverse Engineering
|
|
|
|
|
\end{itemize}
|
|
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
|
|
|
|
|
|
\subsection{Interactive Design Investigation}
|
|
|
|
|
|
|
|
|
|
\begin{frame}
|
|
|
|
|
\subsectionpage
|
2014-02-05 15:06:13 +01:00
|
|
|
\subsectionpagesuffix
|
2014-02-05 13:12:50 +01:00
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
\subsubsection{TBD}
|
|
|
|
|
|
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
|
|
|
TBD
|
|
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
|
|
|
|
|
|
\subsection{Symbolic Model Checking}
|
|
|
|
|
|
|
|
|
|
\begin{frame}
|
|
|
|
|
\subsectionpage
|
2014-02-05 15:06:13 +01:00
|
|
|
\subsectionpagesuffix
|
2014-02-05 13:12:50 +01:00
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
\subsubsection{TBD}
|
|
|
|
|
|
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
|
|
|
TBD
|
|
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
|
|
|
|
|
|
\subsection{Reverse Engineering}
|
|
|
|
|
|
|
|
|
|
\begin{frame}
|
|
|
|
|
\subsectionpage
|
2014-02-05 15:06:13 +01:00
|
|
|
\subsectionpagesuffix
|
2014-02-05 13:12:50 +01:00
|
|
|
\end{frame}
|
|
|
|
|
|
|
|
|
|
\subsubsection{TBD}
|
|
|
|
|
|
|
|
|
|
\begin{frame}{\subsubsecname}
|
|
|
|
|
TBD
|
|
|
|
|
\end{frame}
|
|
|
|
|
|
2014-02-03 16:26:27 +01:00
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
|
|
